Exercise solutions for the "HoTT book"

Solutions of the exercises of the book "Homotopy Type Theory", a.k.a. "the HoTT book".

Requirements

git clone https://github.com/mr-infty/hott-book.git
cd hott-book

Run

make

to typeset the exercise solutions. These are organized into subdirectories ch-03, ch-04, ... corresponding to chapters.