nixpkgs / acl2-minimal - 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. This package installs the main ACL2 executable acl2, as well as the build tools cert.pl and clean.pl, renamed to acl2-cert and acl2-clean. The community books are not included in this package.

Homepage - https://www.cs.utexas.edu/users/moore/acl2/

Maintainers - Keshav Kini - Michael Raskin

Releases

8.4 (expand/collapse)
From commit 02c142a2 to 00460bd6
8.3 (expand/collapse)
From commit 074ef76e to 074ef76e
8.4 (expand/collapse)
From commit 00910f76 to 07557e3b
8.3 (expand/collapse)
From commit 012009ec to 012009ec
8.4 (expand/collapse)
From commit 05cf40db to 05e11f84
8.3 (expand/collapse)
From commit 06d67bb2 to 06d67bb2
8.4 (expand/collapse)
From commit 04e6b03f to 049444dc
8.3 (expand/collapse)
From commit 0798ed1a to 0798ed1a
8.4 (expand/collapse)
From commit 024414f5 to 00037f74
8.3 (expand/collapse)
From commit 04a10b33 to 012a9df9