Logo Mathematics
A
R
easoning
E
L
(and software)
L
E

en Français

Programs:

Pcoq, a graphical user-interface for Coq.
GeoView, a tool to visualize geometrical statements.
Gbcoq, a certified implementation of Buchberger algorithm.
Cyp, a tool to colour proofs.
Our FTP server

 
Contact: Yves.Bertot@sophia.inria.fr
Last updated: April 14th, 2005