We present some of the proof techniques and library designs we used to formalize a large part of the proof of the Odd Order theorem. © 2011 Springer-Verlag.
CITATION STYLE
Gonthier, G. (2011). Advances in the formalization of the odd order theorem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6898 LNCS, p. 2). https://doi.org/10.1007/978-3-642-22863-6_2
Mendeley helps you to discover research relevant for your work.