3 ms·
The formally-verified Odd Order Theorem[0] using Coq was quite an acomplishment (though probably not what you had in mind). [0] https://hal.inria.fr/hal-008166
by mmarx 11y ago
The formally-verified Odd Order Theorem[0] using Coq was quite an acomplishment (though probably not what you had in mind).
[0] https://hal.inria.fr/hal-00816699/file/main.pdf https://hal.inria.fr/hal-00816699/file/main.pdf