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