leoprover / scala-tptp-parser   1.7.3

MIT License GitHub

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

Scala versions: 2.13

scala-tptp-parser

Found 13 versions
1.7.3
3 months ago
MIT
JVM:
2.13
1.7.2
5 months ago
MIT
JVM:
2.13
1.7.1
2 years ago
MIT
JVM:
2.13
1.7.0
2 years ago
MIT
JVM:
2.13
1.6.5
2 years ago
MIT
JVM:
2.13
1.6.4
2 years ago
MIT
JVM:
2.13
1.6.3
2 years ago
MIT
JVM:
2.13
1.6.2
3 years ago
MIT
JVM:
2.13
1.6.1
3 years ago
MIT
JVM:
2.13
1.6
3 years ago
MIT
JVM:
2.13
1.5
3 years ago
MIT
JVM:
2.13
1.4
3 years ago
MIT
JVM:
2.13
1.3
4 years ago
MIT
JVM:
2.13