PUIAS Penguin

Letter C

coq-ide - coq interated development interface

Website: coq.inria.fr
License: LGPL
Description:
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

Packages

coq-ide-8.3pl2-2.sdl6.i686 [3.6 MiB] Changelog by Thomas Uphill (2011-09-20):
- initial build

Listing created by Repoview-0.6.5-1.el6