A Scala library which talks to Isabelle (DISCONTINUED)
Primary LanguageScalaApache License 2.0Apache-2.0
As a possible replacement for this library, check out scala-isabelle.
