| Paketname | acl2-books-certs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library certificates |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 27808 Byte |
| Hängt ab von | acl2 (>= 3.6-4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 1941782 Byte |
| Prüfsumme MD5 | 32015585d441dfd8bbf9c5ad909273c5 |
| Prüfsumme SHA1 | 30d06c5f55420af33d6dd1b60b25a89779830b4e |
| Prüfsumme SHA256 | 7cafff11505e2c3c96d85bf6a8ac904e17cfaba7d0ea4a21fb91ba1b5ddc0e40 |
| Link zum Herunterladen | acl2-books-certs_3.6-4_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 file contains certification records for the various precompiled
libraries supplied in the ACL2-books package. ACL2 essentially
requires that all included books be certified before use.
|