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. You can fetch a tarball for your system that includes the ACL2 Sedan and, in particular, a pre-built binary of (pure) ACL2. 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.