acl2
Formula Utilities v8.7
Logic and programming language in which you can model computer systems
Install 1
App in
Terminal
$
brew install 'acl2'
Dependencies
Install Statistics 29.1% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 35 | 148 | 536 |
| Avg Daily Installs | 1 | 2 | 1 |