libisabelle
libisabelle copied to clipboard
larsrh
A Scala library which talks to Isabelle (DISCONTINUED)
libisabelle
As a possible replacement for this library, check out scala-isabelle.
larsrh