MathInstitutes.org
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France) - YouTube
Univalent Foundations of AGI are (not) All You Need | springerprofessional.de
torus-lores-bw.png
The HoTT Book | Homotopy Type Theory
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (Synthese Library): Centrone, Stefania, Kant, Deborah, Sarikaya, Deniz: 9783030156572: Amazon.com: Books
Figure 1 from Homotopy type theory and Voevodsky's univalent foundations | Semantic Scholar
Project Update: 'Homotopy Type Theory and Univalent Foundations' - CAS
Andrei Rodin: "Univalent Foundations and Applied Mathematics" - YouTube
The Origins and Motivations of Univalent Foundations - Ideas | Institute for Advanced Study
PDF) Introduction – from type theory and homotopy theory to univalent foundations
Univalent Foundations: “No Comment.” | Mathematics without Apologies, by Michael Harris
Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics | DigiNole
Homotopy type theory and Voevodsky's univalent foundations
An introduction to univalent foundations for mathematicians
Univalent Foundations of Mathematics | Science4All
Introduction – from type theory and homotopy theory to univalent foundations
Univalent Foundations and the Large-Scale Formalization of Mathematics - Ideas | Institute for Advanced Study
PDF) Categorical structures for type theory in univalent foundations
File:Hott-ebook.pdf - Wikimedia Commons
File:Hott-a4.pdf - Wikimedia Commons
Will Computers Redefine the Roots of Math? | Quanta Magazine
Homotopy Type Theory and Univalent Foundations - CAS
Univalent Foundations of Mathematics | Science4All
lo.logic - In what respect are univalent foundations "better" than set theory? - MathOverflow
