/isabelle-opentheory

Interface between Isabelle/HOL and OpenTheory

Primary LanguageIsabelle

Stargazers