Linux temps réel embarqué et outils de développements Technique


acl2-books A Computational Logic for Applicative Common Lisp
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.

©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S