@inproceedings{gonthier2007a,
author = {Gonthier, Georges and Mahboubi, Assia and Rideau, Laurence and Tassi, Enrico and Théry, Laurent},
title = {A Modular Formalisation of Finite Group Theory},
year = {2007},
month = {September},
abstract = {In this paper, we present a formalisation of elementary group theory done in Coq. This work is the first milestone of a long-term effort to formalise the Feit-Thompson theorem. As our further developments will heavily rely on this initial base, we took special care to articulate it in the most compositional way.},
publisher = {Springer-Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/a-modular-formalisation-of-finite-group-theory/},
}