|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
acl2
acl2 | A Computational Logic for Applicative Common Lisp | Priority | |
Section | math |
Installed size | 51748 |
Maintainer | Camm Maguire <camm@enhanced.com> |
Architecture | i386 |
Version | 3.1-1 |
Depends | libacl1 (>= 2.2.11-1), libattr1 (>= 2.4.4-1), libc6 (>= 2.3.6-6) |
Suggests | acl2-emacs |
File name | pool/main/a/acl2/acl2_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 the base ACL2 binary. |
|
|