Tutorial material for a workshop on Isabelle, March 2021
Primary LanguageIsabelle
No issues in this repository yet.