Awesome

libisabelle

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