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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool