| Paketname | acl2-books-certs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library certificates |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 28140 Byte |
| Hängt ab von | acl2 (>= 4.0-3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 2007572 Byte |
| Prüfsumme MD5 | f10982c03f698981bbf6afbfb71a602c |
| Prüfsumme SHA1 | 121920bd139f4f62f48ed4061886b57da18159c2 |
| Prüfsumme SHA256 | 026182a7227354ef75faee224e8dd29143c7f1e8064ed9ec211a96367cf5884b |
| Link zum Herunterladen | acl2-books-certs_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 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.
|