Microsoft Research prove Feit-Thompson Theorem in Coq after 6 yearsresearch.microsoft.com3 points·Peteris··0 commentsOpen articleSaveView on HN