| Paketname | proofgeneral-misc |
| Beschreibung | generic interface for proof assistants - theorem provers support |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.7-3.1 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 732 Byte |
| Hängt ab von | proofgeneral |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 142114 Byte |
| Prüfsumme MD5 | 1c6c3d5770cc566bf64717e8a3d9e47e |
| Prüfsumme SHA1 | 40b1d36a1bd0e96a707e2604bd6254ff997a17f4 |
| Prüfsumme SHA256 | f263ef96a71956c0c3e8a80ef102d5c70e6154f88c63597a99b6c2bc91acbc90 |
| Link zum Herunterladen | proofgeneral-misc_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.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
|