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 |