/isabelle-practice

Exercises from the Prog-Prove manual of Isabelle

Primary LanguageIsabelle

No issues in this repository yet.