{"version":"1.0","type":"rich","provider_name":"Buzzsprout","provider_url":"https://www.buzzsprout.com","author_url":"https://www.buzzsprout.com/1992011","width":500,"thumbnail_width":600,"thumbnail_height":600,"title":"#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard","author_name":"Living Proof: the Isaac Newton Institute podcast","html":"<iframe src=\"https://www.buzzsprout.com/1992011/episodes/15806373-60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard?client_source=oembed&amp;iframe=true\" width=\"100%\" height=\"200\" frameborder=\"0\" scrolling=\"no\" loading=\"lazy\" title=\"Living Proof: the Isaac Newton Institute podcast, #60 Exploring &#39;Mathlib&#39; and the digitisation of mathematics: an interview with Professor Kevin Buzzard\"></iframe>","height":200,"thumbnail_url":"https://www.buzzsprout.com/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsiZGF0YSI6MTMxNTk4ODM1LCJwdXIiOiJibG9iX2lkIn19--b14eaaa11e1f4394d2e43b9b984df8fa40ca6057/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJqcGciLCJyZXNpemVfdG9fZmlsbCI6WzYwMCw2MDAseyJjcm9wIjoiY2VudHJlIn1dLCJzYXZlciI6eyJxdWFsaXR5Ijo2MH0sImNvbG91cnNwYWNlIjoic3JnYiJ9LCJwdXIiOiJ2YXJpYXRpb24ifX0=--0b154cb6b88107719b1a277923d35676ba5519cc/Kevin%20Buzzard%20image%20by%20Imperial%20College%20London.jpg"}