We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
See All 6 Episodes of "The Type Theory Podcast"