3 Handouts

The materials linked below are local copies of the HTML and Coq files that make up the textbook. Please note that the textbook’s official Web site contains a stable version frozen in late August. We will be working from more recent versions in progress, which contain significant changes made after the freeze. For this course, the official textbook site is not definitive.

For the 2018 offering: Classes for October 9 and 10 will be held on October 11 and 12, respectively, because of rescheduling around the Fall Break. There will be no classes on October 23 and 24.