Paketname | proofgeneral-doc |
Beschreibung | generic interface for proof assistants - documentation |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 3.7-3.1 |
Sektion | universe/doc |
Priorität | optional |
Installierte Größe | 560 Byte |
Hängt ab von | |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | proofgeneral |
Paketgröße | 90406 Byte |
Prüfsumme MD5 | ee50ac72fc024a7f68d91c801030e108 |
Prüfsumme SHA1 | 93b2508b99015667e2bb584fdd61ddfd6e561b7b |
Prüfsumme SHA256 | 5fb53bc38820767be06dae71e4f29ad929592304cb5c5684a98a7a5af83350b7 |
Link zum Herunterladen | proofgeneral-doc_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 HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
|