odd-order
The formal proof of the Odd Order Theorem
24 stars
15 watching
16 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
coqfeit-thompson-theoremmathcompodd-order-theoremssreflect
odd-order The formal proof of the Odd Order Theorem
coq-community/awesome-coq
uhub/awesome-coq