Laurent Chicli
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.