CoqHoTT: a new proof-assistant that revisits the theoretical foundations of Coq using Homotopy Type Theory.
Infos
- Lionel Maurice
- 31 juillet 2015 00:00
- Colloques et Conférences
- Français
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).