| Paketname | proofgeneral |
| Beschreibung | generic interface for proof assistants - common package |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.7-3.1 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | |
| Paketgröße | 484644 Byte |
| Prüfsumme MD5 | 5cf8897255688c2a5ed0336ff5530f64 |
| Prüfsumme SHA1 | abb9dc9fd777c964949d13bfe9ac8b6ea1ad1a7b |
| Prüfsumme SHA256 | a86198eb7b67900aed0615d8f9eddb67f4ccf241456c96eccce1684ba9a2f1ab |
| Link zum Herunterladen | proofgeneral_3.7-3.1_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.
|