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
Intel sonoma
ventura
monterey
64-bit linux

Current versions:

stable 8.5

Revision: 15

Depends on:

sbcl 2.4.1 Steel Bank Common Lisp system

Analytics:

Installs (30 days)
acl2 49
Installs on Request (30 days)
acl2 49
Build Errors (30 days)
acl2 0
Installs (90 days)
acl2 228
Installs on Request (90 days)
acl2 228
Installs (365 days)
acl2 668
Installs on Request (365 days)
acl2 668
Fork me on GitHub