Interface between Isabelle/HOL and OpenTheory
Primary LanguageIsabelle
No issues in this repository yet.