Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives.

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond

Browse the full CPP paper archive.