Section: New Software and Platforms
MathComponents
Mathematical Components library
Functional Description
The Mathematical Components library is a set of Coq libraries that cover the mechanization of the proof of the Odd Order Theorem.

Participants: Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, FranÃ§ois Garillot, Georges Gonthier, StÃ©phane Le Roux, Assia Mahboubi, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi and Russell O'connor

URL: http://www.msrinria.fr/projects/mathematicalcomponents2/