Proof assistants Podcasts

Iowa Type Theory Commute

163 episodes - Latest episode: 7 months ago - ★★★★★ - 13 ratings
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.