Logo Search packages:      
Sourcecode: acl2 version File versions  Download package

acl2 Documentation


A Computational Logic for Applicative Common Lisp: main binary
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 the base ACL2 binary.
Generated by  Doxygen 1.6.0   Back to index