This is a Graphical User Interface for coding in Coq, a Proof Assistant. It has been developped during a Project with the whole M1IF of the ENS Lyon, during the year 2009-2010

For debian-like users :

Binaire : deb http://perso.ens-lyon.fr/yann.hourdel/apt karmic main

Sources : deb-src http://perso.ens-lyon.fr/yann.hourdel/apt karmic main