LftCM2020: Building an algebraic hierarchy - Kevin Buzzard
LftCM2020: Building the topological hierarchy - Alex BestSee more
Enumeration: Kevin Buzzard TalkSee more
LftCM2020: Natural number game - Kevin BuzzardSee more
Kevin Buzzard, Teaching computers to prove theoremsSee more
Kevin Buzzard: The rise of formalism in mathematicsSee more
The Future of Mathematics?See more
LftCM2020: Order structures - Kevin BuzzardSee more
How do you convince mathematicians a theory prover is worth their time? with Kevin BuzzardSee more
#26 Mechanizing Modern Mathematics - Kevin BuzzardSee more
Motivation and State of the Art for the Lean Theorem Prover | Kevin BuzzardSee more
What Do We Mean By Equality? - Prof Kevin Buzzard - The ArchimedeansSee more
Kevin Buzzard (lecture 7/20) Automorphic Forms And The Langlands Program [2017]See more
![Kevin Buzzard (lecture 7/20) Automorphic Forms And The Langlands Program [2017]](https://img.youtube.com/vi/cU56Cm5wX10/0.jpg)
Kevin Buzzard | Teaching proofs to computersSee more
Kevin Buzzard on formalisation of mathematicsSee more
Lean for the Curious Mathematician 2023 Algebraic HierarchySee more
