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

Error loading media: File could not be played
Share Video
Share Video
00:00
00:00
 
Duration: 1:06:11 | Added: 16 Jul 2018
George Gonthier delivers a lecture at FLoc2018
People:
Copy and paste this HTML snippet to embed the audio or video on your site: