Logiciels Et Mathématiques M E

en Français

Home Team Software Internship Activity reports Actions AOC , S-Java, Modocop, and Concert Seminar

Programs: Pcoq, a graphical user-interface for Coq. GeoView, a tool to visualize geometrical statements. Aïoli, a tool box to build interactive applications in Java. Figue, a bi-dimentional and incremental layout engine in Java. Gbcoq, a certified implementation of Buchberger algorithm. the Centaur system  the centaur news-group(Local). Our FTP server The CtCoq environmen The CHol environment The programming environment CtCaml

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

Updated: 22-10-2001