A Scala library which talks to Isabelle (DISCONTINUED)
Latest version
[
JVM badge
[