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

George Gonthier

Series featuring George Gonthier

  • Federated Logic Conference (FLoC) 2018
# Episode Title Description People Date
1 Creative Commons The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 Jul 2018