IsabellePractice Repository for practicing Isabelle with proofs from the examples Exercises Simple Exercises for learning Isabelle Modelling Small programs to model in Isabelle