Catherine Lelay

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, 2015 .

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

Guillaume Melquiond, Sylvie Boldo, Catherine Lelay, 2015, Math. Comput. Sci..

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

Guillaume Melquiond, Sylvie Boldo, Catherine Lelay, 2015, Mathematical Structures in Computer Science.

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

Guillaume Melquiond, Sylvie Boldo, Catherine Lelay, 2012, CPP.

Software and Platforms - The Coquelicot library for real analysis

Guillaume Melquiond, Sylvie Boldo, Catherine Lelay, 2013 .

A New Formalization of Power Series in Coq

Catherine Lelay, 2013 .

How to express convergence for analysis in Coq

Catherine Lelay, 2015 .