Installers have Moved
The installers are now being maintained by Alex Spiridonov.
See the ACL2 web page, under "Obtaining and Installing ACL2."
The installers are now being maintained by Alex Spiridonov.
See the ACL2 web page, under "Obtaining and Installing ACL2."