/scala-isabelle

A Scala library for controlling/interacting with Isabelle

Primary LanguageScalaMIT LicenseMIT

Stargazers

No one’s star this repository yet.