io.github.leoprover

Maven Group · 6 artifacts

6 artifactsPage 1 of 1
scala-tptp-parser_2.13
1.7.5
logic-embedding-runtime_2.13
2.0.0
logic-embedding-runtime_3
2.0.0
scala-tptp-parser_3
1.7.5
tptp-utils-runtime_2.13
1.5.0
tptp-utils-runtime_3
1.5.0