Cozy Library | Category: univalence axiom

Browse
Books
Shelves

Discover (Random Books)

The prince

The prince

Machiavelli, Niccol, 1469-1527

Book of Proof

Book of Proof

Richard Hammack

The Federalist

The Federalist

Divina proportione : opera a tutti glingegni perspicaci e curiosi necessaria oue ciascun studioso di philosophia: prospettiua pictura sculptura: architectura: musica: e altre mathematice: suavissima: sotile: e admirabile doctrina consequira: e delecterassi: co[n] varie questione de secretissima scientia

Divina proportione : opera a tutti glingegni perspicaci e curiosi ...

Pacioli, Luca, approximately 1445-1517

Category: univalence axiom

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program