Durée :
00:19:17
Nombre de vues
34
Nombre d’ajouts dans une liste de lecture
1
Nombre de favoris
0
CoqHoTT: a new proof-assistant that revisits the theoretical foundations of Coq using Homotopy Type Theory.
Informations
- Lionel Maurice
- 31 juillet 2015 00:00
- Colloques et Conférences
- Français