Last News
The project has just begun! (Sept 2011)
Contact
Sylvie Boldo is coordinator of this project.E-mail:Sylvie.Boldo@inria.fr
Address:
Sylvie Boldo
PCRI - Bâtiment 650
Université Paris-Sud
91405 Orsay Cedex
FRANCE
Coquelicot is a 3-year research project funded by the Fondation de Coopération Scientifique «Campus Paris-Saclay» and Digiteo.
Its goal is to create a new Coq library for Reals.
People involved:
- Sylvie Boldo, INRIA Saclay - Île-de-France researcher, (head)
- Catherine Lelay, INRIA Saclay - Île-de-France PhD student
- Assia Mahboubi, INRIA Saclay - Île-de-France researcher
- Micaela Mayero, IUT de Villetaneuse lecturer
- Guillaume Melquiond, INRIA Saclay - Île-de-France researcher .