Ubuntu

Binary package “acl2-doc” in ubuntu noble

  1. Noble (24.04)
  2. acl2-doc

Computational Logic for Applicative Common Lisp: documentation

 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 the documentation for ACL2.

Source package