PDF) Introduction to Univalent Foundations of Mathematics with Agda
Proof and Computation II
GitHub - UniMath/Foundations: Voevodsky's original development of the univalent foundations of mathematics in Coq
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp. | Bulletin of Symbolic Logic | Cambridge Core
Univalent Foundations: “No Comment.” | Mathematics without Apologies, by Michael Harris
I couldn't do it 💀 : r/mathmemes
Will Computers Redefine the Roots of Math? | WIRED
How I became seduced by univalent foundations - YouTube
torus-lores-bw.png
Amazon.com: Homotopy Type Theory: Univalent Foundations of Mathematics: Univalent Foundations Project: Books
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
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
Univalent Foundations of Mathematics | Science4All
Will Computers Redefine the Roots of Math? | Quanta Magazine
Univalent Foundations of Mathematics - Vladimir Voevodsky - YouTube
lo.logic - In what respect are univalent foundations "better" than set theory? - MathOverflow
Univalent Foundations and the Large-Scale Formalization of Mathematics - Ideas | Institute for Advanced Study
Homotopy Type Theory: Univalent Foundations of Mathematics: Univalent Foundations Project: Books - Amazon.com
MathInstitutes.org
An Introduction to Homotopy Type Theory & Univalent Foundations - Google
Univalent Foundations of Mathematics | Institute for Advanced Study
The simplicial model of Univalent Foundations (after Voevodsky) | EMS Press
