Peter Dybjer http://www.cse.chalmers.se/~peterd/
Peter Dybjer's Interviews
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Shout-outs
Add shout-out