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/ .