![]() |
INRIA,
Rocquencourt-Paris,
équipe π r2
Coordinateur de l'équipe de développement du logiciel Coq E-mail: Hugo.Herbelin at inria.fr Adresse physique : bureau 37, 5e étage, 23 avenue d'Italie, 75013 Paris Adresse postale : INRIA, 23 avenue d'Italie, CS 81321, 75214 Paris Cedex 13 Téléphone : +33 (0) 1 39 63 59 28 Quand me trouver ? |