9 ms·

Comments from the members of Homotopy Type Theory - Google Groups. https://groups.google.com/forum/#!topic/homotopytypetheory/K_4bAZEDRvE https://groups.google

by doall 9y ago

Comments from the members of Homotopy Type Theory - Google Groups. https://groups.google.com/forum/#!topic/homotopytypetheory/K_4bAZEDRvE https://groups.google.com/forum/#!topic/homotopytypetheory/K...