leoprover / scala-tptp-parser   1.7.1

MIT License GitHub

A parser for the TPTP logic languages for automated theorem proving written in Scala

Scala versions: 2.13
Found 1 artifact