Talk page

Title:
Big proofs, little math

Speaker:
Georges Gonthier

Link:
https://video-archive.fields.utoronto.ca/view/4688

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop