hott / foundations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from unimath/foundations
Development of the univalent foundations of mathematics in Coq
Home Page: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html