Install acl2-books by entering the following commands in the terminal:
sudo apt update sudo apt install acl2-books
Computational Logic for Applicative Common Lisp: compiled libraries
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.