Download scala-isabelle_2.13 JAR file with all dependencies
scala-isabelle_2.13 from group de.unruh (version 0.3.0-RC1)
<![CDATA[This library allows to control an <a href="https://isabelle.in.tum.de/">Isabelle</a> process from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc. See the <a href="https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md">README</a> for more information.]]>
Artifact scala-isabelle_2.13
Group de.unruh
Version 0.3.0-RC1
Last update 27. October 2020
Tags: cdata terms readme from scala more theories allows isabelle dominique href https information control execute theorems code master process blob unruh program inside operate library github this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Group de.unruh
Version 0.3.0-RC1
Last update 27. October 2020
Tags: cdata terms readme from scala more theories allows isabelle dominique href https information control execute theorems code master process blob unruh program inside operate library github this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 10
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)