leoprover / scala-tptp-parser 1.7.3

MIT License GitHub

A parser for the TPTP logic languages for automated theorem proving written in Scala

Scala versions: 2.13

scala-tptp-parser 1.7.3

Group ID:

io.github.leoprover

Artifact ID:

scala-tptp-parser_2.13

Version:

1.7.3

Release Date:

Mar 22, 2025

Licenses:

MIT

Files:

Full Scala Version:

2.13.15

Developers:

Alexander Steen

libraryDependencies += "io.github.leoprover" %% "scala-tptp-parser" % "1.7.3"

ivy"io.github.leoprover::scala-tptp-parser:1.7.3"

//> using dep "io.github.leoprover::scala-tptp-parser:1.7.3"

import $ivy.`io.github.leoprover::scala-tptp-parser:1.7.3`

<dependency>
  <groupId>io.github.leoprover</groupId>
  <artifactId>scala-tptp-parser_2.13</artifactId>
  <version>1.7.3</version>
</dependency>

compile group: 'io.github.leoprover', name: 'scala-tptp-parser_2.13', version: '1.7.3'