Explore
roundabout0828 wants you to know about these free books. Find out why.
roundabout0828 isn't ungluing books at the moment. Find out how you can.
roundabout0828 wants these books to be free. Find out how to help.
Login to Fave
Login to Fave
Login to Fave
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Douglas R. Hofstadter
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Login to Fave