Acl2
ACL2 System and Books as Maintained by the Community
Install / Use
/learn @acl2/Acl2README
ACL2 System and Community Books
The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both.
ACL2 System
The included version of the ACL2 System is the latest, under-development version of the ACL2 Theorem Prover. It is updated only by the ACL2 authors, Matt Kaufmann and J Moore.
ACL2 Books
The books/ directory of this repository comprises the Community Books,
which are the canonical collection of open-source libraries for the ACL2
System. As the name suggests, they are updated by the ACL2 community.
Documentation
-
The Combined ACL2 + Books Manual is updated frequently to track the latest changes to this repository.
-
If you are instead using official, released Version 8.6 of ACL2, see the Version 8.6 Manual instead.
Each of these manuals can be downloaded for offline use by clicking the download button on the right hand side of the upper toolbar while browsing the manual.
Obtaining the Source Code
While active development of ACL2 occurs at the acl2/acl2 repo on
GitHub, stable releases are officially distributed from the
acl2-devel/acl2-devel fork, which exists for that purpose.
Latest Stable Release
You can download a gzipped tarfile or zip file for the latest release, which includes the ACL2 system and the community books, from the releases page on GitHub.
Alternatively you can obtain a copy of the latest release using
git. For example, do the following in a fresh directory
(note the "." at the end).
git clone -b 8.6 https://github.com/acl2-devel/acl2-devel .
The new directory /path/to/somewhere/acl2/ will now contain a copy of
ACL2 Version 8.6. Please see the ACL2 home page, specifically
its installation instructions, for how to build an
executable and certify books in your new directory.
Development Version
To check out the latest development version of the repository using
git, you can (for example) do the following in a fresh directory
(note the "." at the end):
git clone https://github.com/acl2/acl2 .
Contributing
See the documentation for how to contribute.
Staying Informed
We encourage users of ACL2 to join our mailing lists and take advantage of other ACL2 Community resources.
Contributors Wanted!
Everyone can contribute documentation and advice to our wiki and discuss problems and feature requests.
If you would like to contribute to this repository, see the documentation topic git-quick-start. Please note the guidelines for book development.
Related Skills
docs-writer
99.2k`docs-writer` skill instructions As an expert technical writer and editor for the Gemini CLI project, you produce accurate, clear, and consistent documentation. When asked to write, edit, or revie
model-usage
337.3kUse CodexBar CLI local cost usage to summarize per-model usage for Codex or Claude, including the current (most recent) model or a full model breakdown. Trigger when asked for model-level usage/cost data from codexbar, or when you need a scriptable per-model summary from codexbar cost JSON.
arscontexta
2.9kClaude Code plugin that generates individualized knowledge systems from conversation. You describe how you think and work, have a conversation and get a complete second brain as markdown files you own.
zola-ai
An autonomous Solana wallet agent that executes payments via Twitter mentions and an in-app dashboard, powered by Claude.
