Lectures: 627 Seeley W. Mudd Building, Thu, 14:10-16:00
Instructor: Ronghui Gu ([email protected])
Office: 515 CSB
Office hours: Thu 16:30-17:30
TA: Xupeng Li ([email protected])
Location: CSB 488
Office hours: Wed 15:00-16:00
The materials are borrowed from the Software Foundations textbook. If you are not familiar with Coq already, you should start by working on the following chapters ASAP. Make sure you actually do all of the exercises!