Georges Gonthier

  1. Title:
    Big proofs, little math
    Speaker:
    Georges Gonthier

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

  2. Title:
    Hidden gems of formal combinatorial proofs
    Speaker:
    Georges Gonthier

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

  3. Title:
    Mechanizing the Odd Order Theorem: Local Analysis
    Speaker:
    Georges Gonthier

    Link:
    https://www.ias.edu/video/special-seminar/gonthier

  4. Title:
    Functional Encodings of Mathematics
    Speaker:
    Georges Gonthier

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