isabelle

Learning Isabelle

Exercises from the manual "Programming and Proving in Isabelle/HOL"

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
Exercise_2_1.thy		Exercise_2_1.thy
Exercise_2_10.thy		Exercise_2_10.thy
Exercise_2_11.thy		Exercise_2_11.thy
Exercise_2_2.thy		Exercise_2_2.thy
Exercise_2_3.thy		Exercise_2_3.thy
Exercise_2_4.thy		Exercise_2_4.thy
Exercise_2_5.thy		Exercise_2_5.thy
Exercise_2_6.thy		Exercise_2_6.thy
Exercise_2_7.thy		Exercise_2_7.thy
Exercise_2_8.thy		Exercise_2_8.thy
Exercise_2_9.thy		Exercise_2_9.thy
Exercise_3_1.thy		Exercise_3_1.thy
LICENSE		LICENSE
README.md		README.md
RedBlackTreeExperiment.thy		RedBlackTreeExperiment.thy
RedBlackTreeExperiment_Impl.thy		RedBlackTreeExperiment_Impl.thy

AlexeyAkhunov/isabelle