g

gapt_2.13

General Architecture for Proof Theory
https://logic.at/gapt/
GPL-3.0
at.logic.gapt
Jannik Vierling Stefan Hetzl Gabriel Ebner
general proof theory architecture
Files download
File Operation
gapt_2.13-2.15.4.jar download
gapt_2.13-2.15.4.pom download
gapt_2.13-2.15.4-sources.jar download
Apache Maven 
<dependency>
  <groupId>at.logic.gapt</groupId>
  <artifactId>gapt_2.13</artifactId>
  <version>2.15.4</version>
</dependency>
Gradle Groovy 
implementation 'at.logic.gapt:gapt_2.13:2.15.4'
Gradle Kotlin 
implementation("at.logic.gapt:gapt_2.13:2.15.4")
Scala SBT 
libraryDependencies += "at.logic.gapt" % "gapt_2.13" % "2.15.4"
Groovy Grape 
@Grapes(
  @Grab(group='at.logic.gapt', module='gapt_2.13', version='2.15.4')
)
Apache Ivy 
<dependency org="at.logic.gapt" name="gapt_2.13" rev="2.15.4" />
Leiningen 
[at.logic.gapt/gapt_2.13 "2.15.4"]
Apache Buildr 
'at.logic.gapt:gapt_2.13:jar:2.15.4'
Dependencies

compile

|-- org.scala-lang:scala-library:2.13.1

|-- org.scala-lang.modules:scala-parallel-collections_2.13:0.2.0

|-- org.scala-lang.modules:scala-parser-combinators_2.13:1.1.2

|-- org.scala-lang:scala-reflect:2.13.1

|-- org.parboiled:parboiled_2.13:2.1.8

|-- com.lihaoyi:fastparse_2.13:2.1.3

|-- com.lihaoyi:sourcecode_2.13:0.1.7

|-- org.typelevel:cats-free_2.13:2.1.0

|-- org.scala-lang.modules:scala-xml_2.13:1.2.0

|-- org.apache.commons:commons-lang3:3.9

|-- com.lihaoyi:ammonite-ops_2.13:2.0.4

|-- de.uni-freiburg.informatik.ultimate:smtinterpol:2.5

|-- com.github.scopt:scopt_2.13:3.7.1

|-- org.ow2.sat4j:org.ow2.sat4j.core:2.3.5

|-- org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.5

|-- org.scala-lang.modules:scala-swing_2.13:2.1.1

|-- com.itextpdf:itextpdf:5.5.13.1

|-- org.scilab.forge:jlatexmath:1.0.7

|-- org.json4s:json4s-native_2.13:3.6.7

|-- io.circe:circe-core_2.13:0.12.1

|-- io.circe:circe-generic_2.13:0.12.1

|-- io.circe:circe-parser_2.13:0.12.1

|-- io.circe:circe-generic-extras_2.13:0.12.1