Artifact Latest version Version Count Packaging Update time
io.github.leoprover:scala-tptp-parser_2.13
1.7.1 11 jar Mar 26, 2023
1 Records