leoprover / scala-tptp-parser 1.7.1

MIT License GitHub

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

Scala versions: 2.13

Group ID:

io.github.leoprover

Artifact ID:

scala-tptp-parser_2.13

Version:

1.6.5

Release Date:

Feb 3, 2023

Licenses:

MIT

Files:

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

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

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

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

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

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