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

od Living Proof: the Isaac Newton Institute podcast