Credits
This course is largely based on a similar course taught at Chalmers University by Reiner Hähnle, Angela Wallenburg, and Philipp Rümmer, with additional material by Koen Claessen.
We thank all of them for their kind assistance and for sharing their course material.