Conferences  >  Mathematics  >  Automated Theorem Proving  >  France

Select a location
Lean for the curious mathematician
25 Mar 2024 - 29 Mar 2024 • CIRM (Marseille Luminy), France
CIRM – Centre International de Rencontres Mathématiques
Many proof assistants can be used to formalise mathematics. Two of the most commonly used today by “standard mathematicians” are Lean and Coq, and the conference will mainly focus on the first. Lean comes with a vast library of formalised mathematics, mathlib. The existence of such a library allows one to work on contemporary mathematics. The meeting’s main goal is to introduce mathematicians to Lean and to formalisation in general.
Event listing ID:
1574576 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 13 September 2023