#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard

by Living Proof: the Isaac Newton Institute podcast