Patrick Massot

  1. Title:
    Curvature and contact topology
    Speaker:
    Patrick Massot

    Link:
    https://www.ias.edu/video/workshop/2015/1208-PatrickMassot

  2. Title:
    Why Explain Mathematics to Computers?
    Speaker:
    Patrick Massot

    Link:
    https://www.youtube.com/watch?v=1iqlhJ1-T3A

  3. Title:
    Formalisation mathématique et types dépendants : Le point vue d'un (...)
    Speaker:
    Patrick Massot

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

  4. Title:
    Introduction to Formalized Mathematics
    Speaker:
    Patrick Massot

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33449

  5. Title:
    Topology (Chapter 8 of MIL)
    Speaker:
    Patrick Massot

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33442

  6. Title:
    Hierarchies (Chapter 7 of MIL)
    Speaker:
    Patrick Massot

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33443

  7. Title:
    Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
    Speaker:
    Patrick Massot

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33444

  8. Title:
    Formalizing Sphere Eversion
    Speaker:
    Patrick Massot

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33483