coq-emacs - Elisp files for Coq proof management system
| Website: | http://coq.inria.fr/ |
|---|---|
| License: | LGPLv2 |
| Vendor: | Fedora Project |
- Description:
Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides emacs mode files for formatting Coq input.
Packages
| coq-emacs-8.1pl4-3.fc11.ppc [10 KiB] |
Changelog
by Alan Dunn (2009-03-04):
- Minor change to cmxa-install patch instruction - Fixed to work with lablgtk 2.12 |