Name Georges Gonthier | ||
 | ||
Georges gonthier the four colour theorem
Georges Gonthier is one of the leading practitioners in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. (Both were written using the proof assistant Coq.)
Contents
- Georges gonthier the four colour theorem
- Inria alan turing aurait 100 ans t moignage de georges gonthier
- References
Inria alan turing aurait 100 ans t moignage de georges gonthier
References
Georges Gonthier Wikipedia(Text) CC BY-SA