← all casks
tla+-toolbox
TLA+ Toolbox
IDE for TLA+
- Version
- v1.7.4
- Tap
- homebrew/cask
- Auto-updates
- No
- Languages
- —
- Outdated
- No
auto-updateshomepageactiveenabledup-to-date
Install
shell
$ brew install --cask tla+-toolboxFormer tokens
tla-plus-toolbox