Laurent Chicli


Organisation: INRIA
Unité de Recherche: Sophia Antipolis
Projet: lemme
Téléphone: (+334/04) 92 38 76 05
Fax: (+334/04) 92 38 50 60
E-mail: <Laurent.Chicli@sophia.inria.fr>











Notions mathématiques formalisées en Coq (non mis à jour )

Bientot les fichiers du developpement.


Les transparents et fichiers preuves de Types2002 (AC+EM->False, Quotients 'fonctionnels' ->False dans Coq) .



Version actuelle de mon manuscrit de thèse.