/HoTT-Learning

I'm working through the HoTT book, and posting the solutions publicly will probably motivate me to make my solutions clean enough to not be ashamed of them.

Primary LanguageTeX

This repository is not active