| Paketname | acl2-books |
| Beschreibung | A Computational Logic for Applicative Common Lisp: compiled libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 93132 Byte |
| Hängt ab von | acl2 (= 3.6-4), acl2-books-certs (= 3.6-4), acl2-books-source (= 3.6-4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 30005538 Byte |
| Prüfsumme MD5 | e9a328d6498f8b7317776e4578b3bd50 |
| Prüfsumme SHA1 | df91e98c44614b25e7965ac42bf92637bd3545c0 |
| Prüfsumme SHA256 | 5039f4819689c3594b950ce52f628131a6734a3286eafec93ad6638c73a23c28 |
| Link zum Herunterladen | acl2-books_3.6-4_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.
|