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. acl2-doc contains the documentation files — manuals, API references, examples or HTML pages — for the corresponding software. The package is optional but recommended for developers and administrators who need offline access to the reference material.