|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
acl2-books-certs
acl2-books-certs | A Computational Logic for Applicative Common Lisp | Priority | |
Section | math |
Installed size | 63768 |
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-books-certs_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 file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use. |
|
|