@phdthesis{garillot:pastel-00649586, TITLE = {{Generic Proof Tools and Finite Group Theory}}, AUTHOR = {Garillot, Fran{\c c}ois}, URL = {https://pastel.hal.science/pastel-00649586}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2011}, MONTH = Dec, KEYWORDS = {proof theory ; finite groups ; type theory ; generic programming ; type classes ; mathematical components ; programming languages ; proof assistants ; th{\'e}orie de la preuve ; th{\'e}orie des types ; programmation g{\'e}n{\'e}rique ; classes de types ; composants math{\'e}matiques ; langages de programmation ; assistants de preuve ; Coq}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00649586/file/manuscript.pdf}, HAL_ID = {pastel-00649586}, HAL_VERSION = {v1}, }