Upcoming Events
Jeremy Avigad will lecture at a Hausdorff School, "Formal Mathematics and Computer-Assisted Proving," September 18-22, 2023.
Patrick Massot will teach an undergraduate course, "Topics in Formal Mathematics: Proof Assistants and Elementary Differential Topology," at Carnegie Mellon in the fall.
See also the Lean community web pages and the events page in particular.