|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
acl2-infix
acl2-infix | A Computational Logic for Applicative Common Lisp | Priority | |
Section | math |
Installed size | 624 |
Maintainer | Camm Maguire <camm@enhanced.com> |
Architecture | i386 |
Version | 3.1-1 |
Depends | acl2 (= 3.1-1), tetex-extra |
Suggests | acl2-emacs |
File name | pool/main/a/acl2/acl2-infix_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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages. |
|
|