|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
acl2-books
acl2-books | A Computational Logic for Applicative Common Lisp | Priority | |
Section | math |
Installed size | 12068 |
Maintainer | Camm Maguire <camm@enhanced.com> |
Architecture | i386 |
Version | 3.1-1 |
Depends | acl2 (= 3.1-1), acl2-books-certs (= 3.1-1), acl2-books-source (= 3.1-1) |
Suggests | acl2-emacs |
File name | pool/main/a/acl2/acl2-books_3.1-1_i386.deb |
Description | 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. |
|
|