Cited By
View all- Gonthier GAsperti AAvigad JBertot YCohen CGarillot FLe Roux SMahboubi AO'Connor RBiha SPasca IRideau LSolovyev ATassi EThéry L(2013)A machine-checked proof of the odd order theoremProceedings of the 4th international conference on Interactive Theorem Proving10.1007/978-3-642-39634-2_14(163-179)Online publication date: 22-Jul-2013
- Kaliszyk CIda T(2011)Proof assistant decision procedures for formalizing origamiProceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics10.5555/2032713.2032718(45-57)Online publication date: 18-Jul-2011