Download scala-isabelle_2.12 JAR file with all dependencies
scala-isabelle_2.12 from group de.unruh (version 0.2.0-RC2)
This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc.
Artifact scala-isabelle_2.12
Group de.unruh
Version 0.2.0-RC2
Last update 27. September 2020
Tags: https control execute theorems terms from code scala process theories allows program inside operate isabelle library this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 8
Dependencies scala-library, log4s_2.12, slf4j-simple, commons-io, scalaz-core_2.12, commons-lang3, commons-text, guava,
There are maybe transitive dependencies!
Group de.unruh
Version 0.2.0-RC2
Last update 27. September 2020
Tags: https control execute theorems terms from code scala process theories allows program inside operate isabelle library this
Organization de.unruh
URL https://github.com/dominique-unruh/scala-isabelle
License MIT
Dependencies amount 8
Dependencies scala-library, log4s_2.12, slf4j-simple, commons-io, scalaz-core_2.12, commons-lang3, commons-text, guava,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)