ACL2 on Windows

Windows users will probably find it useful to fetch the ACL2 Sedan (ACL2s). See the information about ACL2s in the installation instructions, which explain how to obtain and use the pre-built ACL2 binary for Windows, Linux, and Mac even without using ACL2s.

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.