Dear LoVers,

Thank you for all the feedback! We identified two main areas of improvement:

1. The exam was too disconnected from the homeworks/exercises.

2. There was no homework beyond lecture 10, and much of the homework was a bit
too simple/mindless.

We'll take this feedback onboard for next year. In particular, we'll have more
theoretical/non-Lean-specific questions in the homeworks/exercises and also in
class. Also, we'll have homeworks also for lectures 11 and 12, but we'll count
only the best 10 homeworks for the grade (which also gives the student some
flexibility).

Good luck (at the resit exam and/or with your further studies)!

Jasmin & Alex
