acl2
Industrial strength theorem prover, logic and programming language
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award.
homepage ↗homepage ↗ github: acl2/acl2
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 8.6 | 2 | 16 h | details › |
Versions & arches
Use flags of 8.6
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- emacs Add support for GNU Emacs