larsrh / libisabelle Contributors Wanted Edit

A Scala library which talks to Isabelle (DISCONTINUED)

Version Matrix

libisabelle

No Maintenance Intended

As a possible replacement for this library, check out scala-isabelle.