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