MATH5135 : Foundations of formalised mathematics and higher-dimensional rewriting
- Responsable(s) :
-
- Laurent Berger
- Georg Struth
- Nicolas Rougerie
Niveau
M2
Discipline
Mathématiques
ECTS
6.00
Période
1e semestre
Département
Localisation
Site Monod
Année
2024
Public externe (ouverts aux auditeurs de cours)