ACL2 Installer for Windows

This program can install a complete ACL2 environment on Windows. Perhaps someone will volunteer to build it. But in the meantime:

If you want a Windows-based ACL2 executable, it is easy to build one once you have put in place the Windows Installer for a previous release. Then you can work inside what amounts to a Linux shell, to obtain the sources and build an executable following the usual directions.

VOLUNTEER!

Please feel free to volunteer to build the Windows Installer! Follow this link for instructions.