@inproceedings{mahboubi:hal-01107941, TITLE = {{Computer-checked mathematics: a formal proof of the odd order theorem}}, AUTHOR = {Mahboubi, Assia}, URL = {https://inria.hal.science/hal-01107941}, BOOKTITLE = {{The Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}}, ADDRESS = {Vienna, Austria}, YEAR = {2014}, MONTH = Jul, DOI = {10.1145/2603088.2603090}, HAL_ID = {hal-01107941}, HAL_VERSION = {v1}, }