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

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Listen for free

View show details
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