Coq solutions to exercises in HoTT book - View it on GitHub