|
tla-plus-toolbox
☆
« Back to VersTracker
|
||||||||||
|
Description: IDE for TLA+ |
||||||||||
| Type: Cask | Latest Version: 1.7.1@0 | Tracked Since: Jun 30, 2024 | ||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||
| Install: brew install --cask tla-plus-toolbox | ||||||||||
| Version History | ||||||||||
|