/scala-isabelle

A Scala library for controlling/interacting with Isabelle

Primary LanguageScalaMIT LicenseMIT

Stargazers