E-mail: Hugo.Herbelin@inria.fr
Adresse postale : Équipe LogiCal, INRIA et LIX
École polytechnique, 91128 Palaiseau Cedex, France
Téléphone : +33 (0) 1 69 33 34 68
Télécopie : +33 (0) 1 69 33 30 14
|
Chargé de recherche à l'INRIA,
Futurs,
équipe LogiCal
E-mail: Hugo.Herbelin@inria.fr Adresse postale : Équipe LogiCal, INRIA et LIX École polytechnique, 91128 Palaiseau Cedex, France Téléphone : +33 (0) 1 69 33 34 68 Télécopie : +33 (0) 1 69 33 30 14 |
L'environnement de construction de preuves Coq
Dernière mise à jour: janvier 2003.