Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search
The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 1 save with an average rating of -⭐.
2013 • 1 Reader • 618 pages