Project Group: de.unruh

scala-isabelle

de.unruh : scala-isabelle_2.12

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. See the README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.

Last Version: 0.4.0

Release Date: Dec 28, 2021

scala-isabelle

de.unruh : scala-isabelle_2.13

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. See the README (https://github.com/dominique-unruh/scala-isabelle/blob/master/README.md) for more information.

Last Version: 0.4.0

Release Date: Dec 28, 2021

Java Patterns

de.unruh : java-patterns

Functional pattern matching in Java

Last Version: 0.1.0

Release Date: Oct 4, 2020