| Paketname | proofgeneral-minlog |
| Beschreibung | generic interface for proof assistants - Minlog support |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.7-3.1 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 96 Byte |
| Hängt ab von | proofgeneral, mzscheme (>= 300) | guile-1.8 | guile |
| Empfohlene Pakete | minlog |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 20134 Byte |
| Prüfsumme MD5 | 3ef8b6f8556694ae8d5277e6b81690e0 |
| Prüfsumme SHA1 | 5315b30346675b4529ad7857046a7dfbb1e47353 |
| Prüfsumme SHA256 | 63d2b999c39dec946580454636df8b3e20cf566fd30df052bfdb5ebcda9a5e10 |
| Link zum Herunterladen | proofgeneral-minlog_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 the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
|