| Paketname | acl2-books |
| Beschreibung | A Computational Logic for Applicative Common Lisp: compiled libraries |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 107684 Byte |
| Hängt ab von | acl2 (= 4.0-3), acl2-books-certs (= 4.0-3), acl2-books-source (= 4.0-3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 34005186 Byte |
| Prüfsumme MD5 | 9086f340ca7bc797272456bc7c4da1ef |
| Prüfsumme SHA1 | e48fecd0806edf392a2de657cf546524e14a049b |
| Prüfsumme SHA256 | 24d96e3fd5810855089f718927925a9e9acd301784bf232a3a0355ea771719d2 |
| Link zum Herunterladen | acl2-books_4.0-3_i386.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 numerous precompiled and precertified libraries
for use in proving theorems with ACL2. Serious users will no doubt
want to install this package.
|