Package: acl2-emacs (4.0-3)
Links for acl2-emacs
Download Source Package acl2:
A 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 (>= 4.0-3)
- A Computational Logic for Applicative Common Lisp: main binary