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
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.mp4

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


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

Students' talks.mp4

James Arthur - University of Exeter

Alvaro Tovar - University of Exeter

Beth Holmes - Imperial College London

Dylan Crook - Imperial College London

Gihan-Marasingha.mp4

Gihan Marasingha - Lean games

PIannone_AThoma.mp4

Paola Iannone - Athina Thoma

Research on students' use of Lean

Jeremy_Avigad.mp4

Jeremy Avigad

Teaching with Lean