@techreport{gonthier:inria-00139131, TITLE = {{A Modular Formalisation of Finite Group Theory}}, AUTHOR = {Gonthier, Georges and Mahboubi, Assia and Rideau, Laurence and Tassi, Enrico and Th{\'e}ry, Laurent}, URL = {https://inria.hal.science/inria-00139131}, TYPE = {Research Report}, NUMBER = {RR-6156}, PAGES = {17}, INSTITUTION = {{INRIA}}, YEAR = {2007}, KEYWORDS = {finite groups ; proof assistants ; formalisation of mathematics}, PDF = {https://inria.hal.science/inria-00139131v2/file/RR-6156.pdf}, HAL_ID = {inria-00139131}, HAL_VERSION = {v2}, }