Embedded Files
Depuis septembre 2025, je suis en charge, au sein du LMBA, de la réflexion autour de la formalisation des maths, notamment via LEAN.
J'ai donné un exposé introductif en novembre 2025 lors du gout-thématique du LMBA.
Vous pouvez retrouver le support ici.
Page updated
Google Sites
Report abuse