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]
No references recorded for this publication.
No citations of this publication recorded.