A Scala library which talks to Isabelle
Primary LanguageScalaMIT LicenseMIT
No issues in this repository yet.