This webpage is about Lean 3, which is effectively obsolete; the community has migrated to Lean 4.

Lean-related conferences and events

We maintain a list here of past and future events related to Lean, mathlib, and formalized mathematics in general. Please add events by making a pull request editing events.yaml.

The "conference," "workshop," and "tutorial" tags are vaguely defined. Approximately, a "conference" is for formal presentations of finished work, often with published proceedings; a "workshop" is more casual and may include work in progress, although sometimes will publish informal proceedings; a "tutorial" is an opportunity to learn or practice how to use the system.

Upcoming events

Past events