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'