Logiciels Et Mathématiques M E

in English

Accueil. Equipe Logiciels. Stages. Rapport d´activité Actions AOC , S-Java, Modocop et Concert Séminaire.

Logiciels Pcoq, une interface graphique pour Coq. GeoView, un outil de visualisation des énoncés géométriques. Aïoli, une boîte à outils de construction d'applications interactives. Figue, un moteur d'affichage bi-dimensionnel et incrémental.. Gbcoq, une implémentation certifiée de l'algorithme de Buchberger. le Système Centaur  Le news-group centaur (Local). Le serveur FTP du projet  L'environnement de preuve CtCoq  L'environnement de preuve CHol  L'environnement de programmation CtCaml

Contact: Loic.Pottier@sophia.inria.fr ou Yves.Bertot@sophia.inria.fr .

Mise à jour: 22 octobre 2001