de.unruh:scala-isabelle_2.12 (maven): 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 webpage (https://dominique-unruh.github.io/scala-isabelle) for more information.
Keywords: isabelle|scala|theorem-proving