Grimm, José. “Implementation of Bourbaki’s Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers”. Journal of Formalized Reasoning 9, no. 2 (January 1, 2016): 1–52. Accessed April 16, 2024. https://jfr.unibo.it/article/view/4771.