ACL2 System and Community Books ===============================
The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both.
ACL2 System
The included version of the ACL2 System is the latest, under-development version of the [ACL2 Theorem Prover][ACL2]. It is updated only by the ACL2 authors, Matt Kaufmann and J Moore.
[ACL2]: http://www.cs.utexas.edu/users/moore/acl2 "ACL2 Home Page"
ACL2 Books
The books/ directory of this repository comprises the Community Books, which are the canonical collection of open-source libraries for the ACL2 System. As the name suggests, they are updated by the ACL2 community.
Documentation
- The [Combined ACL2 + Books Manual][dev-manual] is updated frequently
to track the latest changes to this repository.
- If you are instead using official, released Version 8.6 of ACL2, see
the [Version 8.6 Manual][release-manual] instead.
Each of these manuals can be downloaded for offline use by clicking the download button on the right hand side of the upper toolbar while browsing the manual.
[release-manual]: http://www.cs.utexas.edu/users/moore/acl2/current/combined-manual/index.html [dev-manual]: https://www.acl2.org/doc/index.html
Obtaining the Source Code
While active development of ACL2 occurs at the acl2/acl2 repo on GitHub, stable releases are officially distributed from the acl2-devel/acl2-devel fork, which exists for that purpose.
#### Latest Stable Release
You can download a gzipped tarfile or zip file for the latest release, which includes the [ACL2 system][ACL2] and the [community books][community books], from [the releases page][releases] on GitHub.