HoTT exercises
Solutions of the exercises of the HoTT book.
Browsable version: http://pcapriotti.github.io/hott-exercises/all-exercises.html.
Solutions of the exercises of the HoTT book.
Browsable version: http://pcapriotti.github.io/hott-exercises/all-exercises.html.