The links will be activated before the first lecture on the topic of the exercise. After the exercise class we publish sketches of the solutions.

• Exercises for week 1
• Exercises for week 2
• Exercises for week 3
• Exercises for week 4 (Formal Specification)
• Exercises for week 4 (Stateful prop testing)
• Exercises for week 5
• Exercises for week 6