Carnegie Mellon University

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.