Mathematics A Reasoning E L (and software) L E

en Français

Home Team members Software Internships Activity reports Actions AOC , Concert Seminar Bibliography

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