There is a newer version of the record available.

Published July 19, 2022 | Version v1.6.4
Software Open

leoprover/scala-tptp-parser: Version 1.6.4

Authors/Creators

  • 1. University of Greifswald

Description

Version 1.6.4 of the scala-tptp-parser library.

Updates:

  • Fix TFF NCL pretty printing: Include introduced @ signs introduced by 1.6.3.

See the README for further information.

Files

leoprover/scala-tptp-parser-v1.6.4.zip

Files (79.5 kB)

Name Size Download all
md5:4036f16a7abac87e7317b9ac47dc4c95
79.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/leoprover/scala-tptp-parser/tree/v1.6.4 (URL)