Exercises from the Prog-Prove manual of Isabelle
Primary LanguageIsabelle
No issues in this repository yet.