Kevin Buzzard on formalisation of mathematics
Channel: Scott Morrison
Date: 2019-05-29

Talk at ICMS meeting on "Big Proof", 2019 May 29. Kevin's notes are at http://wwwf.imperial.ac.uk/~buzzard/docs/buzzard_big_proof2019.pdf

(apologies for the video quality, it's just me steering a laptop camera)