← all formulas
ats2-postiats
Programming language with formal specification features
- Version
- v0.4.2
- License
- GPL-3.0-only
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 1
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install ats2-postiats