A Machine-Checked Proof of the Odd Order Theorem

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau (+2 others)
2018
Department of Philosophy technical report
doi:10.1184/r1/6490739.v1 fatcat:qkmtitffqzbwlk3iaclergfrni