Public Notes on
View Public Collections
proof.pdf research.microsoft.com
Recommended by rich hickey #book #math #toread #pub
Show More
Univalent Foundations: “No Comment.” mathematicswithoutapologies.wordpress.com
#HoTT #homotopy #math #article #pub
Show More