io.github.leoprover : scala-tptp-parser_2.13

<!-- https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13 --><dependency>
    <groupId>io.github.leoprover</groupId>
    <artifactId>scala-tptp-parser_2.13</artifactId>
    <version>1.7.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13implementation group: 'io.github.leoprover', name: 'scala-tptp-parser_2.13', version: '1.7.1'

// https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13implementation 'io.github.leoprover:scala-tptp-parser_2.13:1.7.1'

// https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13implementation("io.github.leoprover:scala-tptp-parser_2.13:1.7.1")

// https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.7.1"

<!-- https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13 --><dependency org="io.github.leoprover" name="scala-tptp-parser_2.13" rev="1.7.1"/>

// https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13@Grapes(
    @Grab(group='io.github.leoprover', module='scala-tptp-parser_2.13', version='1.7.1')
)

;; https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13[io.github.leoprover/scala-tptp-parser_2.13 "1.7.1"]

# https://mavenlibs.com/maven/dependency/io.github.leoprover/scala-tptp-parser_2.13'io.github.leoprover:scala-tptp-parser_2.13:jar:1.7.1'