Search *

1 results

Contributing Search

Filters

Languages

Scala 2.13 (1)

Platforms

JVM (1)

Topics

artificial-intelligence (1)
automated-reasoning (1)
logic (1)
parser (1)
scala (1)
theorem-proving (1)
tptp (1)

leoprover/scala-tptp-parser 1.7.1

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

Scala versions: 2.13

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

5 2