Jump to content

User talk:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This new page looks good to me -- it is much more accurate and balanced than the current one. I favor replacing the current one with this.Steveawodey (talk) 15:24, 1 March 2015 (UTC)[reply]

Retrieved from "https://wiki.riteme.site/w/index.php?title=User_talk:Michael_Shulman/draft_Homotopy_Type_Theory_and_Univalent_Foundations&oldid=649387213"