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

de Living Proof: the Isaac Newton Institute podcast