Lecture 18: HMC, and Formal tests

Slides

Readings

Notes