atwalter/acl2s repository overview

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

⁠The ACL2 Sedan

⁠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.