| Paketname | acl2-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: source files |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 11612 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 3026226 Byte |
| Prüfsumme MD5 | 73297c9af6b5c6c111ecd375b69fe270 |
| Prüfsumme SHA1 | fe1f5db771998543c9c431dd1c26ece4264c76c7 |
| Prüfsumme SHA256 | 12f9afeaeb32580c06d59b1a455f3a1cf5392baf1ca5485584970186b1ca5faf |
| Link zum Herunterladen | acl2-source_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 the lisp source files to the main ACL2 binary.
|