6:34When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine470.3K viewsView & Download
10:57!!Con 2014 - Katherine Ye: Proofs about programs, proofs as programs, and programs as proofs!!!Con604 viewsView & Download
1:34:14Programs from proofs 1/3 by Ingo Blechschmidt: Introduction to constructive mathematicsLogic Seminar Verona395 viewsView & Download
44:04Writing inductive proofs about programs that operate on treesVerification Corner4.6K viewsView & Download
6:56The Type Concept. The Curry-Howard Isomorphism: Proofs as ProgramsThoughtLab106 viewsView & Download