The source code of the last release of Coq can be downloaded from the Coq download page. As for the development version, it can be browsed at the Coq Gforge Subversion server.
The source code of the last release of Coq can be downloaded from the Coq download page. As for the development version, it can be browsed at the Coq Gforge Subversion server.
TheSource (last edited 07-12-2007 20:37:49 by localhost)