Exercise solutions for the "HoTT book"

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

Requirements

• latex distribution (e.g. TeX Live)
• pandoc
• GNU Make

Installation

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

Usage

Run

make

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