| Paketname | proofgeneral |
| Beschreibung | generic interface for proof assistants - common package |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 3.7-4 |
| Sektion | editors |
| Priorität | optional |
| Installierte Größe | 1696 Byte |
| Hängt ab von | debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | proofgeneral-misc | proofgeneral-coq |
| Paketbetreuer | Debian QA Group |
| Quelle | |
| Paketgröße | 482392 Byte |
| Prüfsumme MD5 | 500111cc51f82258395c87fdb5fa85b0 |
| Prüfsumme SHA1 | abe3f15de4b1602f06642cf1ba4bf323e1e04326 |
| Prüfsumme SHA256 | 92e9fee4f80cb69a67f322472970826b02c911a1875caeec05ecd55f0dbe6151 |
| Link zum Herunterladen | proofgeneral_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.
|