MATH5255 : Calculus of inductive Construction and Coq
- Responsable(s) :
-
- Damien Pous
- Laurent Berger
- Nicolas Rougerie
Niveau
M2
Discipline
Mathématiques
ECTS
6.00
Période
2e semestre
Département
Localisation
Site Monod
Année
2024
Public externe (ouverts aux auditeurs de cours)