GAPT: General Architecture for Proof Theory
gapt 2.11
Group ID:
at.logic.gapt
Artifact ID:
gapt_2.12
Version:
2.11
Release Date:
Apr 30, 2018
Licenses:
libraryDependencies += "at.logic.gapt" %% "gapt" % "2.11" resolvers += Resolver.bintrayRepo("gapt", "maven")
ivy"at.logic.gapt::gapt:2.11" MavenRepository("https://dl.bintray.com/gapt/maven")
//> using dep "at.logic.gapt::gapt:2.11"
import $ivy.`at.logic.gapt::gapt:2.11` import ammonite._, Resolvers._ val res = Resolver.Http( "Bintray gapt maven", "Some(https://dl.bintray.com/gapt/maven)", IvyPattern, false) interp.resolvers() = interp.resolvers() :+ res
<dependency> <groupId>at.logic.gapt</groupId> <artifactId>gapt_2.12</artifactId> <version>2.11</version> </dependency>
compile group: 'at.logic.gapt', name: 'gapt_2.12', version: '2.11'