GitHub repository: leoprover/scala-tptp-parser
Primary language: Scala
Description: A parser for the TPTP logic languages for automated theorem proving written in Scala