atwalter/acl2 repository overview

The Dockerfile used to build these images is available at https://github.com/mister-walter/acl2-docker⁠.

⁠The ACL2 System

⁠M1/M2 Macs

Be aware that the prebuilt Docker image is known to have issues on non-Intel macOS machines. It will work correctly if the image is rebuilt from scratch on an M1/M2 machine.

⁠Notes

By default, the "basic" book selection is certified. This can be changed by overriding the ACL2_CERTIFY_TARGETS build argument. Multiple targets can be provided to this argument if desired.