Sylvie Boldo, Catherine Lelay, Guillaume Melquiond. Coquelicot: A User-Friendly Library of Real Analysis for Coq. Mathematics in Computer Science, 9(1):41-62, 2015. [doi]
@article{BoldoLM15, title = {Coquelicot: A User-Friendly Library of Real Analysis for Coq}, author = {Sylvie Boldo and Catherine Lelay and Guillaume Melquiond}, year = {2015}, doi = {10.1007/s11786-014-0181-1}, url = {http://dx.doi.org/10.1007/s11786-014-0181-1}, researchr = {https://researchr.org/publication/BoldoLM15}, cites = {0}, citedby = {0}, journal = {Mathematics in Computer Science}, volume = {9}, number = {1}, pages = {41-62}, }