| Paketname | acl2-emacs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: emacs interface |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 308 Byte |
| Hängt ab von | acl2 (>= 3.6-4), emacs22 | emacsen |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 57272 Byte |
| Prüfsumme MD5 | 2be9a9c57dddd649b9d99726f62dadf1 |
| Prüfsumme SHA1 | 88871e711433ae8c5dbb7842e14a36616ea47f63 |
| Prüfsumme SHA256 | 3f0a90c9bcd8e5326c5dfc45220770d9187ae725eb304a889dd46134f0a13a26 |
| Link zum Herunterladen | acl2-emacs_3.6-4_all.deb |
| Ausführliche Beschreibung | ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
.
This package contains an emacs interface to ACL2.
|