The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Repository Index
76,356 visible repositories in the index
1–1 of 1 · Most stars
76,356 visible repositories in the index
1–1 of 1 · Most stars
The formal proof of the Odd Order Theorem