|
|
|---|
|
|
|
|---|
Additional support for ACL2 installation
To install ACL2, it will generally suffice to see the installation-instructions. You should read the subtopics below only if those instructions were somehow not sufficient. They provide alternate and additional information for obtaining and installing ACL2 and associated libraries.