Libraries of ACL2 books developed by the ACL2 community.
The ACL2 Community Books are the canonical set of open-source books for ACL2, developed since the early 1990s by members of the ACL2 community. They include libraries for reasoning in many domains, macro libraries for more quickly writing and documenting code, interfacing tools for connecting ACL2 to other systems, productivity tools for better proof automation and debugging, and specialty libraries for areas like hardware verification.
From the github ACL2 project web site you can:
See git-quick-start for information about how to download the ``bleeding edge'' ACL2 system and community books.
The communinty books are also available with ACL2 releases. See the ``Installing'' link from the ACL2 home page.