Playing around with Isabelle/HOL
Primary LanguageIsabelleMIT LicenseMIT
No issues in this repository yet.