The materials linked below are local copies of the HTML and Coq files available from the textbook’s Web site. They may be slightly different.
Timings below are approximate and will be changed as the term progresses. The initial schedule is based on the previous offering, and the textbook has been revised since then, but it should be roughly accurate for the first few weeks at least.
Dates below are from earlier offerings, and will be updated as we proceed. There will be no classes in the week of October 22-26, 2018.