The Logic of Real Proofs

Federated Logic Conference (FLoC) 2018 ›

1:06:11 | Jul 16th, 2018

George Gonthier delivers a lecture at FLoc2018 Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/...Show More