![](/img/cover-not-exists.png)
Coquelicot: A User-Friendly Library of Real Analysis for Coq
Boldo, Sylvie, Lelay, Catherine, Melquiond, GuillaumeVolume:
9
Language:
english
Journal:
Mathematics in Computer Science
DOI:
10.1007/s11786-014-0181-1
Date:
March, 2015
File:
PDF, 377 KB
english, 2015