leoprover / scala-tptp-parser 1.7.1

MIT License GitHub

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

tptp
artificial-intelligence
parser
theorem-proving
scala
automated-reasoning
logic

Scala versions: 2.13

Latest version

[![scala-tptp-parser Scala version support](https://index-dev.scala-lang.org/leoprover/scala-tptp-parser/scala-tptp-parser/latest.svg)](https://index-dev.scala-lang.org/leoprover/scala-tptp-parser/scala-tptp-parser)

JVM badge

[![scala-tptp-parser Scala version support](https://index-dev.scala-lang.org/leoprover/scala-tptp-parser/scala-tptp-parser/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/leoprover/scala-tptp-parser/scala-tptp-parser)