gapt / gapt 2.17.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 3.x 2.13

gapt-examples 2.17.0

Group ID:

at.logic.gapt

Artifact ID:

gapt-examples_3

Version:

2.17.0

Release Date:

Sept 27, 2024

Licenses:

GPL-3.0

Files:

Full Scala Version:

3.3.1

Developers:

Fabian Achammer | Jannik Vierling | Stefan Hetzl | Gabriel Ebner

libraryDependencies += "at.logic.gapt" %% "gapt-examples" % "2.17.0"

ivy"at.logic.gapt::gapt-examples:2.17.0"

//> using dep "at.logic.gapt::gapt-examples:2.17.0"

import $ivy.`at.logic.gapt::gapt-examples:2.17.0`

<dependency>
  <groupId>at.logic.gapt</groupId>
  <artifactId>gapt-examples_3</artifactId>
  <version>2.17.0</version>
</dependency>

compile group: 'at.logic.gapt', name: 'gapt-examples_3', version: '2.17.0'