Package: acl2-emacs (6.5-2)
Links for acl2-emacs
Download Source Package acl2:
Computational Logic for Applicative Common Lisp: emacs interface
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 an emacs interface to ACL2.
Other Packages Related to acl2-emacs
- dep: acl2 (>= 6.5-2)
- Computational Logic for Applicative Common Lisp: main binary
- dep: dpkg (>= 1.14.18)
- Debian package management system
- dep: tex-common (>= 3)
- common infrastructure for building and installing TeX