Eilenberg-MacLane Spaces in Homotopy Type Theory. Dan Licata and Eric Finster, LICS 2014
http://dlicata.web.wesleyan.edu/pubs/lf14em/lf14em.pdf
and code
Revision on October 10, 2018 at 16:10:48 by Ali Caglayan. See the history of this page for a list of all contributions to it.