Skip to content

Version 1.0
Compare
Choose a tag to compare
@lex-lex lex-lex released this 06 Dec 09:02
· 35 commits to master since this release
v1.0
a7fbd10

tptp-utils is an application for post-processing automated theorem proving input files (i.e., problem files) given in the TPTP (Thousands of Problems for Theorem Proving) syntax standard. It is written in Scala and freely available as open-source software.

Current features include:

  • Syntax checking (validate that the input file is syntactically well-formed)
  • Reparsing (Read the input file and print an abstract syntax tree in JSON format)
  • Dialect transformation (Translate problem from TPTP dialect A to TPTP dialect B)
Assets 3
Loading