Talk page

Title:
Functional Encodings of Mathematics

Speaker:
Georges Gonthier

Link:
https://www.youtube.com/watch?v=ZNB2ZEFw5Zw