Formal mathematics for mathematicians and mathematics students

Patrick Massot
Université Paris-Saclay

I will explain how I think formal mathematics will eventually become a useful tool for many mathematicians. Proof verification is not the only expected benefit of formal methods and I will rather focus on how they could impact exposition of mathematics.

Presentation (PDF File)

Back to Machine Assisted Proofs