MATD9104 : DIP : Prouver des théorèmes avec un ordinateur : une introduction à LEAN
DIP : Proving theorems with a computer : an introduction to LEAN
- Responsable(s) :
-
- Laurent Berger
- Sandra Rozensztajn
- Enseignant(s) :
-
- Sandra Rozensztajn
Niveau
Tout niveau
Discipline
Mathématiques
ECTS
5.00
Période
1e semestre
Département
Année
2024
Public interne (réservés aux auditeurs de licence-master et normaliens )