Lecture 9 Slides (Introduction to Coq)
Next Session: Bring a laptop that has Coq and Proof General already installed.