A Machine-Checked Proof of the Odd Order Theorem.

Tue, 01 Jan 2013 00:00:00 +0100

Georges Gonthier, Andrea Asperti , Jeremy Avigad , Yves Bertot, Cyril Cohen, François Garillot , Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry:
A Machine-Checked Proof of the Odd Order Theorem. ITP 2013: 163-179