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 expect that the above website will
be updated soon for the current ACL2 version. Also see
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.