leoprover / scala-tptp-parser 1.7.1

MIT License GitHub

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

Scala versions: 2.13

11 versions found for scala-tptp-parser

1.7.1

1 year ago
MIT

JVM:

2.13

1.7.0

1 year ago
MIT

JVM:

2.13

1.6.5

1 year ago
MIT

JVM:

2.13

1.6.4

1 year ago
MIT

JVM:

2.13

1.6.3

1 year ago
MIT

JVM:

2.13

1.6.2

2 years ago
MIT

JVM:

2.13

1.6.1

2 years ago
MIT

JVM:

2.13

1.6

2 years ago
MIT

JVM:

2.13

1.5

2 years ago
MIT

JVM:

2.13

1.4

2 years ago
MIT

JVM:

2.13

1.3

3 years ago
MIT

JVM:

2.13