search

larsrh / libisabelle

A Scala library which talks to Isabelle (DISCONTINUED)
Apache License 2.0
38 stars 8 forks source link
isabelle scala

readme

libisabelle

No Maintenance Intended

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