DMCA

A Machine-Checked Proof of the Odd Order Theorem

by Georges Gonthier , Andrea Asperti , Jeremy Avigad , Yves Bertot , Cyril Cohen , François Garillot , Stéphane Le Roux , Assia Mahboubi , Ould Biha , Ioana Pasca , Laurence Rideau , Alexey Solovyev , Enrico Tassi , Laurent Théry, et al.
Citations:10 - 1 self