| Paketname | proofgeneral-coq |
| Beschreibung | generic interface for proof assistants - coq support |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 3.7-4 |
| Sektion | editors |
| Priorität | optional |
| Installierte Größe | 336 Byte |
| Hängt ab von | proofgeneral |
| Empfohlene Pakete | coq |
| Paketbetreuer | Debian QA Group |
| Quelle | proofgeneral |
| Paketgröße | 72482 Byte |
| Prüfsumme MD5 | 6066746bbd4448501542e4f4b407155a |
| Prüfsumme SHA1 | dc2872f8441c563ec9e266a3e291bf65f66d1820 |
| Prüfsumme SHA256 | 3b7a081be4518887abcffe178efcc9dbc67463689057a783b7e0eda906115cf1 |
| Link zum Herunterladen | proofgeneral-coq_3.7-4_all.deb |
| Ausführliche Beschreibung | Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
|