A Scala library for controlling/interacting with Isabelle
Primary LanguageScalaMIT LicenseMIT
No one’s star this repository yet.