3 ms·Feit-Thompson theorem formally certified using the Coq proof assistant 4 points by mepcotterell 14y ago