Great

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

podcast_episode https://aboutlogic.podigee.io/feed/mp3#e30eb68dfd8ad583b8e1b538a2531593

Ranked

• podcast_episodes
  no. 1009 of 3794 — score +0.00 ± 1.00

Diary

• May 13, 2026 consumed

External

feed_url

https://aboutlogic.podigee.io/feed/mp3

guid

e30eb68dfd8ad583b8e1b538a2531593

Metadata

parent_title

aboutlogic

duration_ms

3096633

image_url

https://images.podigee-cdn.net/0x,s5Mi25-T0BNsV_q04SWUkKclMzcqDGufRuDqIRN84CzY=/https://main.podigee-cdn.net/uploads/u81283/70f17683-ea5a-469e-8016-9e682204d0f1.jpg