Outils

MATD9104 : DIP : Prouver des théorèmes avec un ordinateur : une introduction à LEAN

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
Année
2024

Public interne (réservés aux auditeurs de licence-master et normaliens )