Lecturer
| room | consultation hours | |||
|---|---|---|---|---|
| VU | Manuel Eberl | 3M12 | Thursday | 10:30 – 11:30 |
Location
| VU | Thursday | 13:45 – 16:15 | HS 10 | Manuel Eberl | |
Homework
Each week, you will be assigned homework tasks. These will almost always be in the form of Isabelle tasks, e.g. writing formal definitions and proofs in Isabelle/HOL.
Important: You are expected to bring a laptop with a working installation of Isabelle 2024. The download and installation instructions can be found on the Isabelle website. This should usually be straightforward since Isabelle brings practically all its dependencies with it. I do not recommand using unofficial Isabelle versions from package managers (e.g. AUR, Nix) since there have been issues in the past, but you are of course free to try that as well if you prefer.
Exam
There will be a written exam at the end of the semester. This will be purely a paper exam, i.e. you will not be asked to write Isabelle proofs.
There will be no repeat exam.