books contributed by the ACL2 community
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 page,

To certify the community books, see regression.