Grimm, José. “Implementation of Bourbaki’s Elements of Mathematics in Coq: Part One, Theory of Sets”. Journal of Formalized Reasoning 3, no. 1 (January 1, 2010): 79–126. Accessed March 31, 2025. https://jfr.unibo.it/article/view/1899.