← all formulas
acl2
Logic and programming language in which you can model computer systems
- Version
- v8.7
- License
- BSD-3-Clause
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 2
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install acl2