Section: Partnerships and Cooperations

Regional Initiatives

Project Coquelicot, funded jointly by the Fondation de Coopération Scientifique “Campus      Paris-Saclay” and Digiteo.

     Goal: Create a new Coq library for real numbers of mathematics.

     Leader: S. Boldo (Inria Saclay, Toccata). Participant: A. Mahboubi.

     Website: http://coquelicot.saclay.inria.fr/ .