Interactive Theorem Proving CS

• Announcements (Forum)
• General help (lectures, labs, administrivia) (Forum)
• Course website (URL)

---

---

---

• Lab 01 (Assignment)

---

• Inductive proposition examples (File)

---

---

• Smallstep Exercises (File)

---

---

---

• Team and project abstract (Assignment)

---

• Church Numerals (File)
• Full Project Proposal (Assignment)

---

• Lab 02 (Assignment)

---

---

---

---

---

• Final report (Assignment)

---