Patrick Massot

According to our database, Patrick Massot authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Formalising the h-Principle and Sphere Eversion.

Floris van Doorn, Patrick Massot, Oliver Nash

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020

Formalising perfectoid spaces.

Kevin Buzzard, Johan Commelin, Patrick Massot

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020