Microsoft Research prove Feit-Thompson Theorem in Coq after 6 yearsresearch.microsoft.com3 pointsPeteris14 years ago