acl2

Install command:
brew install acl2

Logic and programming language in which you can model computer systems

https://www.cs.utexas.edu/users/moore/acl2/index.html

License: BSD-3-Clause

Formula JSON API: /api/formula/acl2.json

Formula code: acl2.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sonoma
ventura
monterey
big sur
Intel sonoma
ventura
monterey
big sur
64-bit linux

Current versions:

stable 8.5

Revision: 10

Depends on:

sbcl 2.3.8 Steel Bank Common Lisp system

Analytics:

Installs (30 days)
acl2 104
Installs on Request (30 days)
acl2 104
Build Errors (30 days)
acl2 0
Installs (90 days)
acl2 153
Installs on Request (90 days)
acl2 153
Installs (365 days)
acl2 307
Installs on Request (365 days)
acl2 307
Fork me on GitHub