We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.
https://typetheorypodcast.com
Episode 1: Peter Dybjer on types and testing
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.