Homotopy Type Theory HoTT book > history (Rev #6, changes)

Showing changes from revision #5 to #6: Added | ~~Removed~~ | ~~Chan~~ged

~~The~~ ~~Homotopy~~ ~~Type~~ ~~Theory~~ ~~book~~ is ~~available~~ ~~here:~~

~~homotopytypetheory.org/book~~
~~It can be cited as:~~
~~Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study, 2013.~~

~~category: reference~~

Revision on June 6, 2022 at 21:09:40 by Anonymous?. See the history of this page for a list of all contributions to it.