A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions:
2.13
scala-tptp-parser
Found 11 versions