Feit-Thompson theorem formally certified using the Coq proof assistant msr-inria.inria.fr4 pointsmepcotterell14 years ago