A parser for the TPTP logic languages for automated theorem proving written in Scala
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool