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"

Mill build tool

ivy"at.logic.gapt::gapt:2.16.0"

Scala CLI

//> using lib at.logic.gapt::gapt:2.16.0

Ammonite REPL

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'