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