TLA+ Toolbox

1.7.4

IDE for TLA+

Install

brew install --cask tla+-toolbox

Architecture	Platforms	Version	Download
Intel	Golden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur	1.7.4	File SHA-256 `258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7`
Apple Silicon	Golden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur	1.7.4	File SHA-256 `258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7`