| Paketname | acl2-books-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: library sources |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 35268 Byte |
| Hängt ab von | acl2 (>= 3.6-4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 4915400 Byte |
| Prüfsumme MD5 | aa0e59fc7b9d7a7f2a9cb4434dff0de2 |
| Prüfsumme SHA1 | b4e50f76ce5f15a55162893073c53302f2b899d8 |
| Prüfsumme SHA256 | 8fea06ac9d10ef78c3b2ad66edf1841c07be03e7ff5cf310325d25657f8d95e5 |
| Link zum Herunterladen | acl2-books-source_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 package contains source lisp files to the compiled libraries
supplied in the ACL2-books package.
|