Jul 29 2013

A Machine-Checked Proof of the Odd Order Theorem

http://hal.inria.fr/hal-00816699/en/

Nathalie BELLESSO