COMMUNITY-BOOKS.html -- ACL2 Version 6.3

## COMMUNITY-BOOKS

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, http://acl2-books.googlecode.com/.

To certify the community books, see regression.