pcapriotti/hott-exercises

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.