acl2
Computational Logic for Applicative Common Lisp: main binary
Install
- All systems
-
curl cmd.cat/acl2.sh
- Debian
-
apt-get install acl2 - Ubuntu
-
apt-get install acl2 - Kali Linux
-
apt-get install acl2 - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install acl2 - Raspbian
-
apt-get install acl2 - Dockerfile
- dockerfile.run/acl2
acl2
Computational Logic for Applicative Common Lisp: main binary
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. This package contains the base ACL2 binary.