Episode 1: Peter Dybjer on types and testing

The Type Theory Podcast ›

0:00 | Aug 13th, 2014

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.