| Paketname | proofgeneral-misc |
| Beschreibung | generic interface for proof assistants - theorem provers support |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 3.7-4 |
| Sektion | editors |
| Priorität | optional |
| Installierte Größe | 732 Byte |
| Hängt ab von | proofgeneral |
| Empfohlene Pakete | |
| Paketbetreuer | Debian QA Group |
| Quelle | proofgeneral |
| Paketgröße | 142188 Byte |
| Prüfsumme MD5 | 5bab1b5d42583ffe9f198dc00e959dd9 |
| Prüfsumme SHA1 | b581e1c0da22a628071eee8348114b11e8afb5f2 |
| Prüfsumme SHA256 | ac412f9eaba8c1f18246723463fa4c75c2df820d41b29f5db917593b48008a81 |
| Link zum Herunterladen | proofgeneral-misc_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 several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
|