dominique-unruh / scala-isabelle 0.4.2

MIT License Website GitHub

A Scala library for controlling/interacting with Isabelle

Scala versions: 2.13 2.12

scala-isabelle 0.4.3-RC1

Group ID:

de.unruh

Artifact ID:

scala-isabelle_2.13

Version:

0.4.3-RC1

Release Date:

Jul 10, 2024

Licenses:

MIT

Files:

Full Scala Version:

2.13.14

Developers:

Dominique Unruh

libraryDependencies += "de.unruh" %% "scala-isabelle" % "0.4.3-RC1"

ivy"de.unruh::scala-isabelle:0.4.3-RC1"

//> using dep "de.unruh::scala-isabelle:0.4.3-RC1"

import $ivy.`de.unruh::scala-isabelle:0.4.3-RC1`

<dependency>
  <groupId>de.unruh</groupId>
  <artifactId>scala-isabelle_2.13</artifactId>
  <version>0.4.3-RC1</version>
</dependency>

compile group: 'de.unruh', name: 'scala-isabelle_2.13', version: '0.4.3-RC1'