Upcoming Events
Jeremy Avigad, Mario Carneiro, Wojciech Nawrocki, and Patrick Massot will all be at the Hausdorff trimester program "Prospects of Formal Mathematics" in the summer of 2024
Avigad will give an invited lecture at IJCAR 2024.
See also the Lean community web pages and the events page in particular.