Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers

@article{4771, title = {Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers}, journal = {Journal of Formalized Reasoning}, volume = {9}, year = {2016}, doi = {10.6092/issn.1972-5787/4771}, language = {EN}, url = {http://dml.mathdoc.fr/item/4771} }

Grimm, José. Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers. Journal of Formalized Reasoning, Volume 9 (2016) . doi : 10.6092/issn.1972-5787/4771. http://gdmltest.u-ga.fr/item/4771/