Feit-Thompson theorem formally certified using the Coq proof assistant msr-inria.inria.fr4 points·mepcotterell··0 commentsOpen articleSaveView on HN