Installation
We will use a pre-release version of Isabelle2024, which you can download here.
Please download and install it before the first tutorial.
For experienced users: you may also use the latest Isabelle development version.
Exercise Sheets
Exercise 1 | exercise sheet, tutorial solution, example solution |
Exercise 2 | exercise sheet, tutorial template |
Exercise 3 | exercise sheet, tutorial template, tutorial solution, example solution |
Exercise 4 | exercise sheet, tutorial template, tutorial solution, example solution |
Exercise 5 | To be published around 17.05.2024 |
You can earn bonus points when finding mistakes in the new version of the book!
Exam Preparation
Tbd