How To Install Acl2 In Debian, Ubuntu, Kali And Raspbian?

How To Install Acl2 In Debian, Ubuntu, Kali And Raspbian?

acl2

Computational Logic for Applicative Common Lisp: main binary

Learn Laravel, React, VueJS and Python
read programming books
Maintainer: Camm Maguire
Email: [email protected] .
Section: math

Install acl2

  • Debian apt-get install acl2 Click to copy
  • Ubuntu apt-get install acl2 Click to copy
  • Kali Linux apt-get install acl2 Click to copy
  • Raspbian apt-get install acl2 Click to copy

acl2

Computational Logic for Applicative Common Lisp: main binary

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 base ACL2 binary.

Installation of latest acl2 command is available for Debian, Ubuntu, Kali and Raspbian. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2026 latest package from the repository and install it in your computer/server.