Catherine Lelay

According to our database, Catherine Lelay authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Formalization of real analysis: a survey of proof assistants and libraries.

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond

Math. Struct. Comput. Sci., 2016

2015

Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée. (Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis).

Catherine Lelay

PhD thesis, 2015

Coquelicot: A User-Friendly Library of Real Analysis for Coq.

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond

Math. Comput. Sci., 2015

2012

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

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012