aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Further Reading & Resources:
The Natural Number Game: adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: xenaproject.wordpress.com
Kevin Buzzard: profiles.imperial.ac.uk/k.buzzard

Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de

Production:
Jan-Niklas Meyer: jammos.com

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.