/isabelle-practice

Exercises from the Prog-Prove manual of Isabelle

Primary LanguageIsabelle

Watchers