Exercises from the Prog-Prove manual of Isabelle
Primary LanguageIsabelle
This repository is not active