ACL2 on Windows

Windows users will probably find it useful to fetch the ACL2 Sedan (ACL2s), which includes pre-certified books and pre-built binaries. As of the date of this release, we hope that the above website will be updated soon for the current ACL2 version. Also see the ACL2 documentation topic on the ACL2 Sedan.

You are welcome to obtain a Windows installer for a previous ACL2 release, which mimics some of Linux and provides Emacs. We have successfully installed updated ACL2 binaries in such an environment.