adt-english.html

<#def TITLE>ADT Coq</#def>
<#include "incl/header.html">

<p>The action for technological development (ADT) Coq gathers the teams involved in the implementation of the <a href="/">Coq</a> proof assistant.</p>
<p>The teams included in the ADT are the <a href="http://www.inria.fr">INRIA</a> projects <a href="http://typical.inria.fr">TypiCal</a>, <a href="https://www.lri.fr/projet.associe.php?prj=10">ProVal</a> and <a href="http://www-sop.inria.fr/marelle/">Marelle</a>, the team <a href="http://www.pps.univ-paris-diderot.fr/">PPS</a> located at <a href="http://www.univ-paris-diderot.fr">Université Paris 7</a>, and the team <a href="http://cedric.cnam.fr/AfficheEquipe.php?id=7&amp;lang=fr">CPR</a> from <a href="http://www.cnam.fr">CNAM</a>.</p>
<p>The <a href="http://www.inria.fr/">INRIA</a> will put a software engineer at the disposal of the ADT. He will be located at Sophia-Antipolis, and will work on a structured communication between Coq and external tools.</p>
<p>The ADT is coordinated by <a href="http://pauillac.inria.fr/~herbelin/">Hugo Herbelin</a>.</p>
<p>Here is the <a href="/files/adt-coq.pdf">paper document</a> describing the project.</p>

<#include "incl/footer.html">