Skip to content
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:
>= 10.15 (Catalina)

Installs

TLA+ Toolbox.app

Installation Notes

tla+-toolbox is built for Intel macOS and so requires Rosetta 2 to be installed.
You can install Rosetta 2 with:
  softwareupdate --install-rosetta --agree-to-license
Note that it is very difficult to remove Rosetta 2 once it is installed.
Install Statistics 33.7%

Average daily installs by period

Related Development Apps

View All
openssl@3
Popular

Cryptography and SSL/TLS Toolkit

formula Development v3.6.1
ca-certificates
Popular

Mozilla CA certificate store

formula Development v2025
sqlite
Popular

Command-line interface for SQLite

formula Development v3.51.2
node
Popular

Open-source, cross-platform JavaScript runtime environment

formula Development v25.6.1
pcre2
Popular

Perl compatible regular expressions library with a new API

formula Development v10.47
pkgconf
Popular

Package compiler and linker metadata toolkit

formula Development v2.5.1
X