Mathematiques A Raisonnement E Logiciel L E

in English

Accueil. Equipe Logiciels. Stages. Rapport d´activité Actions AOC , Concert Séminaire. Bibliographie

Logiciels Pcoq, une interface graphique pour Coq. GeoView, un outil de visualisation des énoncés géométriques. Gbcoq, une implémentation certifiée de l'algorithme de Buchberger. Cyp, un outil pour colorier les preuves. Le serveur FTP du projet

Contact: Yves.Bertot@sophia.inria.fr

Mise à jour: 14 avril 2005