Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

The Logic of Real Proofs

Loading Video...
Duration: 1:06:11 | Added: 16 Jul 2018
George Gonthier delivers a lecture at FLoc2018
Copy and paste this HTML snippet to embed the audio or video on your site: