acl2

acl2 8.6 · pkgs/by-name/ac/acl2/package.nix

Health

Risk

risk 9 low

+8 8.6 is behind upstream 8.7
+1 no versionCheckHook

Version

8.6 upstream 8.7

Channels

master 8.6 · nixos-unstable 8.6 · nixos-26.05 8.6 no channel is behind master

Hydra

succeeded 6y ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Interpreter and prover for a Lisp dialect

Long description

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 also included and certified with the `make
everything` target.

Homepage

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

Download page

https://github.com/acl2-devel/acl2-devel/releases

License

unnamed

Platforms

79 platforms: Linux, Darwin

Main program

acl2

Source provenance

not set: built from source