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

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör The Type Theory Podcast. Innehållet i podden är skapat av The Type Theory Podcast och inte av, eller tillsammans med, Poddtoppen.