← all formulas
quint
Core tool for the Quint specification language
- Version
- v0.32.0
- License
- Apache-2.0
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install quint