Learning Isabelle
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Exercises from the manual "Programming and Proving in Isabelle/HOL"
License:The Unlicense