Le but de cette journée est de réunir des mathématiciens travaillant sur Lean, l'assistant de preuve de la bibliothèque mathlib. Les exposés s'adresseront à un public large : tous les chercheurs curieux des développements récents en formalisation sont bienvenus.
The aim of this workshop is to gather together several mathematicians working on Lean, the proof assistant of the mathematical library mathlib. The talks will focus on engaging all mathematicians who are curious to discover the recent developments of formalization.
Plus d'informations ici : Lean in Lyon - Université Jean Monnet (univ-st-etienne.fr)