#HoTT L’axiome d’univalence

 

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.