Installation
We will use the latest Isabelle/VSCode for the tutorial, which can be found pre-packaged here. For experienced users: you may also use the latest Isabelle development version.
Windows
- run
.exefile and extract archive - in the extracted folder, start the isabelle executable and wait for it to finish
- close it, start
cygwin-terminal.batand runisabelle vscode
Linux / Mac OS
- extract archive
- run
bin/isabelle vscode
Exercise Sheets
| Exercise 1 | 29.4.- 5.5. | exercise sheet,tutorial solution |
| Exercise 2 | 6.5.- 12.5. | exercise sheet,tutorial template,tutorial solution |
| Exercise 3 | 13.5.- 19.5. | exercise sheet,tutorial template,tutorial solution |
| Exercise 4 | 20.5.- 26.5. | exercise sheet,tutorial template,tutorial solution |
| Exercise 5 | 27.5.- 2.6. | exercise sheet,tutorial template,tutorial solution |
| Exercise 6 | 3.6.- 9.6. | exercise sheet,tutorial template,tutorial solution |
| Exercise 7 | 17.6.- 23.6. | exercise sheet,tutorial template,tutorial solution |
| Exercise 8 | 24.6.- 30.6. | exercise sheet,tutorial template,tutorial solution |
| Exercise 9 | 1.7.- 7.7. | exercise sheet,tutorial template,tutorial solution |
| Exercise 10 | 8.7.- 14.7. | exercise sheet,tutorial template 1,tutorial template 2, tutorial solution 1, tutorial solution |
| Exercise 11 | 15.7.- 21.7. | exercise sheet,tutorial template,tutorial solution |
| Exercise 12 | 22.7.- 28.7. | exercise sheet,tutorial template,tutorial solution |