A Formal Proof of The Odd Order Theorem

A formalized and machine-checked proof, using the Coq proof assistant

View the Sources on GitHub math-comp/math-comp

About

Blah blah...

TODO : a Q&A page

Browsing the files

TODO

Getting the libraries

TODO

Contact

Any question? Subscribe to the ssreflect mailing list and let us know what you are using our libraries for, ask questions, etc. You can also browse the archives of the list or consult the general information page.

Authors and Contributors

The Odd Order library, the Mathematical Components library and the Ssreflect proof language are developed by the Mathematical Components team, at the Inria -- Microsoft Research Joint Centre.

Microsoft Research - Inria Joint Centre