|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
proofgeneral-misc
proofgeneral-misc | ProofGeneral support for different theorem provers | Priority | |
Section | editors |
Installed size | 712 |
Maintainer | Stefan Schimanski <schimmi@debian.org> |
Architecture | all |
Version | 3.5-4.1 |
Depends | proofgeneral |
Suggests | x-symbol |
File name | pool/main/p/proofgeneral/proofgeneral-misc_3.5-4.1_all.deb |
Description | This package provides the Proof General support for several theorem provers which are not available as Debian packages yet. This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO, Phox, Plastic, Twelf . Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh. |
|
|