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