gapt 2.15.4


Group ID:
at.logic.gapt
Artifact ID:
gapt_2.13
Version:
2.15.4
Release Date:
May 31, 2022
Licenses:
Files:

libraryDependencies += "at.logic.gapt" %% "gapt" % "2.15.4"

Mill build tool

ivy"at.logic.gapt::gapt:2.15.4"

Ammonite REPL

import $ivy.`at.logic.gapt::gapt:2.15.4`

<dependency>
  <groupId>at.logic.gapt</groupId>
  <artifactId>gapt_2.13</artifactId>
  <version>2.15.4</version>
</dependency>

compile group: 'at.logic.gapt', name: 'gapt_2.13', version: '2.15.4'