Lean meeting 06.04.2022

We would like to thank those how sponsored us:

• The London Mathematical Society

• The Center for Mathematical Cognition at

Loughborough University

• Southampton University

• The Exeter Education Incubator

Thank you!

We would also like to thank our speakers

Kevin Buzzard - Imperial College London

Gihan Marasingha - University of Exeter

James Arthur - University of Exeter

Alvaro Tovar - University of Exeter

Beth Holmes - Imperial College London

Dylan Crook - Imperial College London

Jeremy Avigad - Carnegie Mellon University

Kevin Buzzard - Fools rush in: how not to insert theorem provers in the curriculum

(with apologies for the technical problems in this talk!)