Explore relationships

Georges Gonthier

Georges Gonthier is a Canadian computer scientist and practitioner in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem.

Use + to expand a branch. Click a topic name to open its summary.