ACL2 on Windows

Windows users will probably want to do either of the following two things to run ACL2 on their systems. Thanks to David Rager for his help with this page, in particular the second item just below. 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.