acl2

Install command: 
brew install acl2

Logic and programming language in which you can model computer systems

https://www.cs.utexas.edu/~moore/acl2/

License: BSD-3-Clause

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

Formula code: acl2.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon		 tahoe ✅
sequoia ✅
sonoma ✅
macOS on
Intel		 sonoma ✅
Linux x86_64 ✅

Current versions:

stable ✅ 8.6

Revision: 13

Depends on:

sbcl 2.5.10 Steel Bank Common Lisp system

Analytics:

Installs (30 days)
acl2 75
Installs on Request (30 days)
acl2 75
Build Errors (30 days)
acl2 13
Installs (90 days)
acl2 160
Installs on Request (90 days)
acl2 160
Installs (365 days)
acl2 544
Installs on Request (365 days)
acl2 544