The ACL2 Sedan (ACL2s) is an Eclipse-based IDE for ACL2 that is distributed with pre-certified books and pre-built binaries. If you use an alternative development environment (such as Emacs), you can ...
Windows users will probably want to do one of the following to install and run ACL2 on their systems. Thanks to David Rager for his help with this topic. You are ...
You should have little trouble installing this alongside older versions of ACL2 if you used previous versions of this installer. Essentially, everything here gets ...