Great

aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

podcast_episode https://aboutlogic.podigee.io/feed/mp3#80d80c60e1ab0d4969cae6e6adf2d8ae

Ranked

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

Diary

• May 11, 2026 consumed

External

feed_url

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

guid

80d80c60e1ab0d4969cae6e6adf2d8ae

Metadata

parent_title

aboutlogic

duration_ms

1577273

image_url

https://images.podigee-cdn.net/0x,sJFfDhNz_R40VBtczD_eAvaeEXaByJCR0benzj0RLVHA=/https://main.podigee-cdn.net/uploads/u81283/5233b536-81aa-475e-a255-0a509a3e1ff1.jpg