/isa-lab

Playing around with Isabelle/HOL

Primary LanguageIsabelleMIT LicenseMIT

Watchers