HoTT/book — pull request #646 by awodey (2014-03-07 21:07:37+00:00)
Title: kristina's torus

Kristina's solution to exercises 6.1 and 6.3 on the torus.
In view of it's length and relative difficulty, I wonder whether this might be more appropriate as a blog post or note on the wiki, with a reference to it from here?