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.4

Release Date:

Oct 19, 2021

Licenses:

MIT

Files:

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

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

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

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

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

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