GitHub - rohitdureja/isabelle-practice: Exercises from the Prog-Prove manual of Isabelle

rohitdureja / isabelle-practice Public

Exercises from the Prog-Prove manual of Isabelle

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
.gitignore		.gitignore
Automation.thy		Automation.thy
Exercises2_01.thy		Exercises2_01.thy
Exercises2_02.thy		Exercises2_02.thy
Exercises2_03.thy		Exercises2_03.thy
Exercises2_04.thy		Exercises2_04.thy
Exercises2_05.thy		Exercises2_05.thy
Exercises2_06.thy		Exercises2_06.thy
Exercises2_07.thy		Exercises2_07.thy
Exercises2_08.thy		Exercises2_08.thy
Exercises2_09.thy		Exercises2_09.thy
Exercises2_10.thy		Exercises2_10.thy
Exercises2_11.thy		Exercises2_11.thy
Exercises3_01.thy		Exercises3_01.thy
Exercises3_02.thy		Exercises3_02.thy
Exercises3_03.thy		Exercises3_03.thy
Functions.thy		Functions.thy
Induction.thy		Induction.thy
Inductiv.thy		Inductiv.thy
Isar.thy		Isar.thy
Types.thy		Types.thy