EN FR
EN FR


Section: Software and Platforms

The Coquelicot library for real analysis

Participants : Sylvie Boldo [contact] , Catherine Lelay, Guillaume Melquiond.

Criteria for Software Self-Assessment: A-3, SO-4, SM-2, EM-3, SDL-4, OC-4.

Coquelicot is a Coq library dedicated to real analysis: differentiation, integration, and so on. It is a conservative extension of the standard library of Coq, but with a strong focus on usability.

Coquelicot is available at http://coquelicot.saclay.inria.fr/ .