La bibliothèque de mathématiques formalisées de Lean vient de recevoir le prix Demailly 2026 pour la science ouverte en mathématiques.

https://epiga.episciences.org/page/session-2026

Ce projet collaboratif primé implique plus de 750 contributrices et contributeurs et il est bien représenté à Orsay : félicitations à nos membres Patrick Massot, Joël Riou, Damien Thomine, et à nos anciens étudiants de la licence au doctorat (Anatole Dedecker,  Benoît Guillemet, Luiggi Massacci, Yannis Monbru) et post-doctorants (Floris von Doorn, Kyle Miller)