资 源 简 介
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