Ubuntu

Binary package “acl2-books-source” in ubuntu noble

  1. Noble (24.04)
  2. acl2-books-source

Computational Logic for Applicative Common Lisp: library sources

 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 source lisp files to the compiled libraries
 supplied in the ACL2-books package.

Source package