| Paketname | acl2-doc |
| Beschreibung | A Computational Logic for Applicative Common Lisp: documentation |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 10424 Byte |
| Hängt ab von | dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 2826154 Byte |
| Prüfsumme MD5 | 0a3a0fde554b5a58f777ff1f5d05e97d |
| Prüfsumme SHA1 | fc33195bee41968bd5c4e8574f206d482f8043e3 |
| Prüfsumme SHA256 | da9bb728b3ad376e4ebda791cf13a4aad1683363803bedfb1fab874c13c97968 |
| Link zum Herunterladen | acl2-doc_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 documentation for ACL2.
|