Explore
jelacru wants you to know about these free books. Find out why.
jelacru isn't ungluing books at the moment. Find out how you can.
jelacru hasn't decided which books to give the world yet. Learn more.
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study
AVAILABLE!
Login to Fave