A Scala library for controlling/interacting with Isabelle
scala-isabelle 0.4.1
Group ID:
de.unruh
Artifact ID:
scala-isabelle_2.13
Version:
0.4.1
Release Date:
Nov 27, 2022
Licenses:
Files:
Full Scala Version:
2.13.10
Developers:
libraryDependencies += "de.unruh" %% "scala-isabelle" % "0.4.1"
ivy"de.unruh::scala-isabelle:0.4.1"
//> using dep "de.unruh::scala-isabelle:0.4.1"
import $ivy.`de.unruh::scala-isabelle:0.4.1`
<dependency> <groupId>de.unruh</groupId> <artifactId>scala-isabelle_2.13</artifactId> <version>0.4.1</version> </dependency>
compile group: 'de.unruh', name: 'scala-isabelle_2.13', version: '0.4.1'