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