CMU 15-815 Interactive Theorem Proving

Homework Assignments

# Due Date Description Remarks
1 23 Jan Read Chapters 1–3 of the tutorial, do exercises in Chapter 2
2 30 Jan Continue reading 2–3 with exercises, start Chapter 4
3 6 Feb Read through Chapter 5, do exercises in 3 and 4
4 13 Feb Read Chapter 6, and prove some theorems!
5 27 Feb Read Chapters 6 and 7, and do exercises (esp. Section 6.4)
6 20 Mar Read Chapter 8, think about final projects
7 27 Mar Read Chapters 9 and 10, and do exercises
8 3 Apr Read Chapter 11
9 10 Apr Read the HoTT Book, esp. 1.12, 2.1–2.6, 3.1–3.4
10 17 Apr Read Chapter 12 of the tutorial