ACL2 Books Development

This site is for community-driven development for the basic ACL2 libraries, which deal with topics like arithmetic, data structures, and hardware modelling. We're working with the authors of ACL2 and our changes are eventually incorporated into official ACL2 releases.

Our latest and greatest

You can download our development books from the Source page. (You'll need to have Subversion installed).

Contributors wanted!

Everyone can contribute documentation and advice to our Wiki and discuss problems and feature requests.

If you would like to be able to do book development (adding documentation to the books, cleaning up the books, contributing new books), you can join our mailing list and we'll make you an account.