Major Section: BOOKS
For background on ACL2 books, which can contain useful definitions and theorems, see books.
The ACL2 ``community books'' is a collection of books developed since the
early 1990s by members of the ACL2 community. The installation instructions
suggest installing these books in the
books/ subdirectory of your local
ACL2 installation. You can contribute books to the ACL2 community and obtain
updates inbetween ACL2 releases by visiting the
acl2-books project web
To certify the community books, see regression.