## Georges Gonthier

*Engineering mathematics: the odd order theorem proof*

POPL, 2013.

@inproceedings{POPL-2013-Gonthier, author = "Georges Gonthier", booktitle = "{Proceedings of the 40th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/2429069.2429071", editor = "Roberto Giacobazzi and Radhia Cousot", isbn = "978-1-4503-1832-7", pages = "1--2", publisher = "{ACM}", title = "{Engineering mathematics: the odd order theorem proof}", year = 2013, }