Interactive theorem proving

• Course website (URL)

---

• Lab 1 (Assignment)
• Lab 1 checkoff (Assignment)

---

• Lab 2 (Assignment)

---

• Weeks 1-3 feedback (fill after completing but before submitting lab 3) (Questionnaire)
• Lab 3 checkoff (Assignment)

---

---

• Lab 4 feedback (Questionnaire)

---

• Lab 5 feedback (Questionnaire)

---

• Project teams (Group choice)
• Finding a project team (Forum)

---

• Project proposal (Assignment)

---

---

---

---

• Code walkthrough (Assignment)

---

---

---

• Course indicative feedback (Questionnaire)
• Final report (Assignment)
• Project code (Assignment)

---