Publications at the Joint Centre:
2013
Conference papers
- titre
- A Machine-Checked Proof of the Odd Order Theorem
- auteur
- 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
- article
- Sandrine Blazy and Christine Paulin and David Pichardie. ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.163-179, 2013, LNCS. <10.1007/978-3-642-39634-2_14>
- Accès au texte intégral et bibtex
-
2007
Reports
- titre
- A Modular Formalisation of Finite Group Theory
- auteur
- Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
- article
- [Research Report] RR-6156, INRIA. 2007, pp.17
- Accès au texte intégral et bibtex
-
