gapt / gapt   2.16.0

GNU General Public License v3.0 only Website GitHub

GAPT: General Architecture for Proof Theory

Scala versions: 2.13 2.12 2.11

gapt-examples 2.2

Group ID:
at.logic.gapt
Artifact ID:
gapt-examples_2.11
Version:
2.2
Release Date:
Jul 9, 2016
Licenses:
GPL-3.0 

libraryDependencies += "at.logic.gapt" %% "gapt-examples" % "2.2"
resolvers += Resolver.bintrayRepo("gapt", "maven")

Mill build tool

ivy"at.logic.gapt::gapt-examples:2.2"
MavenRepository("https://dl.bintray.com/gapt/maven")

Scala CLI

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

Ammonite REPL

import $ivy.`at.logic.gapt::gapt-examples:2.2`
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-examples_2.11</artifactId>
  <version>2.2</version>
</dependency>

compile group: 'at.logic.gapt', name: 'gapt-examples_2.11', version: '2.2'

Documentation

Try online with Scastie
Try on Scastie

4 Dependencies

No Dependent