session03.md

Session 3 (Thursday March 2nd)

1. Simon Robillard will talk about the calculus of constructions, Prop vs Set, and proof terms. Presentation

2. Discuss exercises from session 2: Exercises.

3. Syllabus

   • Schedule topic proposals so far.
   • Choose what to read next time, and someone to present it.

For next time

• Do exercises for session 3. Exercises.