aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics cover art

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Listen for free

View show details

LIMITED TIME OFFER | £0.99/mo for the first 3 months

Premium Plus auto-renews at £8.99/mo after 3 months. Terms apply.

About this listen

This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
No reviews yet