| Paketname | acl2-emacs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: emacs interface |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 308 Byte |
| Hängt ab von | acl2 (>= 4.0-3), emacs23 | emacsen |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 58156 Byte |
| Prüfsumme MD5 | 9f61911c6de01501c27c21678aed9f7c |
| Prüfsumme SHA1 | 4ff9558d69f2b378f483e3df724bbb0272d882ad |
| Prüfsumme SHA256 | 094f38e919fcb05cf846441215c614a1254434aeb35d5173ddea3f0e47a31645 |
| Link zum Herunterladen | acl2-emacs_4.0-3_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.
|