Assignments
There will be three written assignments during the course. Some of these will involve proofs in the Isabelle theorem prover.- Assignment 1: assignment [pdf], Isabelle template [thy]
- Solution to assignment 1: Isabelle proofs [thy]
- Assignment 2:
assignment [pdf], Isabelle template [thy] - Solution to assignment 2: Isabelle proofs [thy]
- Assignment 3:
assignment [pdf], Isabelle template [thy] - Solution to assignment 3: Isabelle proofs [thy]