Homotopy Type Theory desired articles > history (Rev #1)

This page collects desired articles in the style of a TODO list. Feel free to edit and add your own wishes.

More on encode-decode

This method is used fruitfully in HoTT however can be a bit difficult to understand for beginners. Add some more articles detailing its use and generalisations. Specifically the proof of π 1(S 1)\pi_1(S^1) and van kampen.

Revision on September 30, 2018 at 10:17:27 by Ali Caglayan. See the history of this page for a list of all contributions to it.