English version

Hugo Herbelin

Ma photo INRIA, Rocquencourt-Paris, équipe π r2, au sein du laboratoire PPS
Coordinateur de l'équipe de développement du logiciel Coq

E-mail: Hugo.Herbelin at inria.fr
Adresse physique : bureau 3029, 3e étage, Bâtiment Sophie Germain, 8 Place FM/13, 75013 Paris
Adresse postale : Laboratoire PPS, Université Paris Diderot - Paris 7, Case 7014, 75205 Paris Cedex 13
Téléphone : +33 (0) 1 57 27 90 87

Quelques extensions de Coq

Exposés

Propositions de stages de master

Articles