The Univalent Foundations Program
The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 4 saves with an average rating of 3⭐.
 Homotopy Type Theory Homotopy Type Theory
| 3 | 2 reads |
The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 4 saves with an average rating of 3⭐.
Homotopy Type Theory Homotopy Type Theory
| 3 | 2 reads |