Vidéothèque de l'UL - Nicolas Tabareau

CoqHoTT: a new proof-assistant that revisits the theoretical foundations of Coq using Homotopy Type Theory.

Ajouté par : Lionel Maurice
Mis à jour le : 31 juillet 2015 00:00
Type : Colloques et Conférences
Langue principale : Français
Discipline(s) :
- Informatique
- Sciences de la nature et Mathématiques

Recevez des notifications pour des événements spécifiques (lorsque l’encodage d’une de vos vidéos est terminé).