← all formulas
rocq
Proof assistant for higher-order logic
- Version
- v9.1.1
- License
- LGPL-2.1-only
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 1
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install rocq