libisabelle

A Scala library which talks to Isabelle

About Setup Tutorial Scaladoc (nightly) View on GitHub