The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
Theorem Prover Showdown: Testing Language Dogma
Hillel recounts his theorem-prover challenge to compare imperative and functional proof approaches and the community responses.
Play episode from 01:18:03
Transcript
