hott-exercises icon indicating copy to clipboard operation
hott-exercises copied to clipboard

Solutions of the exercises of the HoTT book

HoTT exercises

Solutions of the exercises of the HoTT book.

Browsable version: http://pcapriotti.github.io/hott-exercises/all-exercises.html.