GAPT: General Architecture for Proof Theory
gapt 2.16.0
Group ID:
at.logic.gapt
Artifact ID:
gapt_2.13
Version:
2.16.0
Release Date:
Jul 21, 2022
Licenses:
Files:
libraryDependencies += "at.logic.gapt" %% "gapt" % "2.16.0"
ivy"at.logic.gapt::gapt:2.16.0"
//> using dep "at.logic.gapt::gapt:2.16.0"
import $ivy.`at.logic.gapt::gapt:2.16.0`
<dependency> <groupId>at.logic.gapt</groupId> <artifactId>gapt_2.13</artifactId> <version>2.16.0</version> </dependency>
compile group: 'at.logic.gapt', name: 'gapt_2.13', version: '2.16.0'