| Paketname | acl2-books-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library sources |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 36216 Byte |
| Hängt ab von | acl2 (>= 4.0-3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 5286616 Byte |
| Prüfsumme MD5 | aa98de3bc15f8069943ca4c60e81c15f |
| Prüfsumme SHA1 | c1f44c19c8cd2c3df61bda80b1a0f81767bf10a6 |
| Prüfsumme SHA256 | 381f60eee2d608760d5a6334086e706a18c12e4d1cdc62fbe9d31abb3da7e7c2 |
| Link zum Herunterladen | acl2-books-source_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 source lisp files to the compiled libraries
supplied in the ACL2-books package.
|