How to Install acl2-books in Ubuntu 18.04

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.

Version: 8.0dfsg-1

Section: universe/math