Patrick Massot - Why Explain Mathematics to Computers?
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Patrick Massot | Why explain mathematics to computers?
Curvature and contact topology - Patrick Massot
Patrick Massot: Formalizing a Sophisticated Definition
Patrick Massot - Formalisation mathématique et types dépendants : Le point vue d'un (...)
Patrick Massot: From informal to formal and back
Patrick Massot - An overview of Contact and Symplectic Topology II
Session 1: Athina Thoma and Patrick Massot
Patrick Massot - An overview of Contact and Symplectic Topology I
Math Park - 05/05/2018 - Patrick MASSOT - LE RETOURNEMENT DE LA SPHÈRE
Formalized mathematics and differential topology - Patrick Massot - Lean in Lyon
Professor Patrick Massot: Formalizing Differential Topology and Differential Geometry
LftCM2020: Topology and filters - Patrick Massot
LftCM2020: Mathematics in Lean introduction - Patrick Massot
Patrick Massot (on behalf of Lean Together Organizers) - Opening Remarks (Lean Together 2026)
Lean Together 2021: Opening remarks
[BOURBAKI 2017] 11/03/2017 - 3/4 - Patrick MASSOT
RENTRÉE MASTERS 2020 - Exposé Patrick Massot
Lean Together 2024: Patrick Massot, Community news and workshop introduction
![[BOURBAKI 2017] 11/03/2017 - 3/4 - Patrick MASSOT](https://img.youtube.com/vi/Tsr747s7Zqg/0.jpg)
