We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More