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