lftcm2023.github.io - Lean for the Curious Mathematician 2023

home > domains > lftcm2023.github.io

Example domain paragraphs

Are you curious what the excitement around the proof assistant Lean is all about? Are you intrigued by recent successes in the formalization of deep mathematical theorems , and would like to understand more concretely what this formalization entails? Do you find yourself wondering how far your favorite area of mathematics is still away from being formalized, and what lies ahead?

Then Lean for the Curious Mathematician is for you! The 2023 edition will comprise two consecutive but independent events: an intensive four-day tutorial, and a shorter colloquium for the impatient, both hosted at Heinrich Heine University Düsseldorf:

04.–07. September (Mo–Th)

Links to lftcm2023.github.io (2)

• mathmeetings.net MathMeetings.net
• yangky11.github.io Kaiyu Yang