Georges Gonthier
Code ISNI : 0000000381690324
INRIA
Laboratoire de Mécanique des Solides
Université Paris-Saclay
Bordeaux
FR
Mathematics
and Interactions
-
3 videos
![Organising large proofs: techniques, tools, and future]()
01:07:11published on December 23, 2025Organising large proofs: techniques, tools, and future
By Georges Gonthier
![Digitizing the Group Theory of the Odd Order Theorem]()
40:32published on April 22, 2014Digitizing the Group Theory of the Odd Order Theorem
By Georges Gonthier
