Homotopy Type Theory
HoTT Mini-Course > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
HoTT Mini-Course at CMU
Marc Bezem, Spring Semester 2016
Place and Time
- Baker Hall 152
- Monday and Wednesday 13:30 - 16:30
- Exercises 13:30 - 15:00
- Lectures 15:00 -16:30
- We continue during the Spring break
- No lectures 23,28,30 March
Revision on March 1, 2016 at 00:23:53 by
Marc Bezem?.
See the history of this page for a list of all contributions to it.