Instructions

Install ACL2s on Linux using the following link: acl2s/homebrew-acl2s. [EDIT: The original Northeastern-hosted ACL2s tarball is no longer live, so this page now points to the current public ACL2s Homebrew distribution instead.]