- Indexed Information
- Rank2,272
- Users13
- Last Indexed1 week, 4 days ago
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org
Topic History (1)
| Topic | First Indexed |
|---|---|
| Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org | 2 years, 8 months ago |