A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions:
2.13
Found 1 artifact