Interactive Theorem Proving in Isabelle/HOL

Exercise Sheets

Every week a new exercise sheet will be made available on this website. Solved exercises must be marked and uploaded in OLAT. The deadline is Thursday, 6 am before the lecture. Solutions will be made available in OLAT.

• Sheet 1
• Sheet 2
• Sheet 3
• Sheet 4
• Sheet 5
• Sheet 6
• Sheet 7
• Sheet 8
• Sheet 9
• Sheet 10
• Sheet 11
• Sheet 12