|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
acl2-doc
acl2-doc | A Computational Logic for Applicative Common Lisp | Priority | |
Section | doc |
Installed size | 8044 |
Maintainer | Camm Maguire <camm@enhanced.com> |
Architecture | all |
Version | 3.1-1 |
Depends | acl2 (= 3.1-1) |
Suggests | acl2-emacs |
File name | pool/main/a/acl2/acl2-doc_3.1-1_all.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 the documentation for ACL2. |
|
|