Feit-Thompson theorem formally certified using the Coq proof assistant http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq by mepcotterell • 14 years ago 4 0 14 years agoMSmsr-inria.inria.fr