10 May 2022
ICJ - site de Doua
Europe/Paris timezone

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)

Starts
Ends
Europe/Paris
ICJ - site de Doua
Fokko du Cloux

Plus d'informations et inscriptions ici :

Lean in Lyon - Université Jean Monnet (univ-st-etienne.fr)