dominique-unruh / scala-isabelle   0.4.1

MIT License Website GitHub

A Scala library for controlling/interacting with Isabelle

Scala versions: 2.12 2.13

scala-isabelle 0.4.0-RC1


Group ID:
de.unruh
Artifact ID:
scala-isabelle_2.13
Version:
0.4.0-RC1
Release Date:
Dec 17, 2021
Licenses:
MIT
Files:

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

Mill build tool

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

Scala CLI

//> using lib "de.unruh::scala-isabelle:0.4.0-RC1"

Ammonite REPL

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

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

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