A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions:
2.13
scala-tptp-parser 1.6.2
Group ID:
io.github.leoprover
Artifact ID:
scala-tptp-parser_2.13
Version:
1.6.2
Release Date:
Apr 27, 2022
Licenses:
Files:
libraryDependencies += "io.github.leoprover" %% "scala-tptp-parser" % "1.6.2"
ivy"io.github.leoprover::scala-tptp-parser:1.6.2"
//> using dep "io.github.leoprover::scala-tptp-parser:1.6.2"
import $ivy.`io.github.leoprover::scala-tptp-parser:1.6.2`
<dependency> <groupId>io.github.leoprover</groupId> <artifactId>scala-tptp-parser_2.13</artifactId> <version>1.6.2</version> </dependency>
compile group: 'io.github.leoprover', name: 'scala-tptp-parser_2.13', version: '1.6.2'