Skip to content
Back to Apps FastBrew

TLA+ Toolbox

Cask Development v1.7.4

IDE for TLA+

Install 1 App in Terminal
$ 
brew install --cask tla+-toolbox
Source: homebrew/cask Website Homebrew

System Requirements

macOS:

Installs

TLA+ Toolbox.app

Official Homebrew Stats

Install activity metrics for TLA+ Toolbox.

-14.6% vs 90d avg
30 Days
35 total installs
1 installs / day avg
90 Days
123 total installs
1 installs / day avg
1 Year
658 total installs
2 installs / day avg

Related Development Apps

View All
Open openssl@3
openssl@3
Popular

Cryptography and SSL/TLS Toolkit

formula Development v3.6.3
Open ca-certificates
ca-certificates
Popular

Mozilla CA certificate store

formula Development v2026
Open sqlite
sqlite
Popular

Command-line interface for SQLite

formula Development v3.53.3
Open node
node
Popular

Open-source, cross-platform JavaScript runtime environment

formula Development v26.5.0
Open pcre2
pcre2
Popular

Perl compatible regular expressions library with a new API

formula Development v10.47
Open pkgconf
pkgconf
Popular

Package compiler and linker metadata toolkit

formula Development v3.0.3
X