Lean meeting 06.04.2022
Here are the videos of the meeting we held on the 6th April at Loughborough University.
We would like to thank those how sponsored us:
- The London Mathematical Society
- The Center for Mathematical Cognition at
- 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!)
James Arthur - University of Exeter
Alvaro Tovar - University of Exeter
Beth Holmes - Imperial College London
Dylan Crook - Imperial College London
Gihan Marasingha - Lean games
Paola Iannone - Athina Thoma
Research on students' use of Lean
Jeremy Avigad
Teaching with Lean