LftCM2020: Natural number game - Kevin Buzzard

LftCM2020: Order structures - Kevin BuzzardSee more

Kevin Buzzard | Teaching proofs to computersSee more

Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021See more

The natural number game playthoughSee more

Kevin Buzzard: Mathematics and the Computer with G-ResearchSee more

Неделя 1: Natural Number Game | Формализация математики на LeanSee more

LftCM2020: Building an algebraic hierarchy - Kevin BuzzardSee more

#26 Mechanizing Modern Mathematics - Kevin BuzzardSee more

Playing the Natural Number Game in Lean Proof Assistant | Complete Gameplay WalkthroughSee more

Complex Number Game (Lean): tutorial world playthroughSee more

How do you convince mathematicians a theory prover is worth their time? with Kevin BuzzardSee more

Kevin Buzzard: Mathematics and the ComputerSee more

Kevin Buzzard: "What is the point of Lean's maths library?"See more

Lean Theorem Prover Tutorial 1 - Natural Number Game by Arindam Bhattacharya - 20.10.21See more

Kevin Buzzard - Ken Ribet and Fermat's Last Theorem [2008]See more