Univalent Foundations Project
Autor von Homotopy Type Theory
Werke von Univalent Foundations Project
Getagged
Wissenswertes
Für diesen Autor liegen noch keine Einträge mit "Wissenswertem" vor. Sie können helfen.
Mitglieder
Statistikseite
- Werke
- 1
- Mitglieder
- 8
- Beliebtheit
- #1,038,911
- Bewertung
- 5.0