TLA+ Toolbox Mac 版
TLA 的集成开发环境
快速了解：TLA+ Toolbox 是一款适用于 macOS 的开发工具。
用
brew install --cask tla+-toolbox 安装。Homebrew 元数据中没有声明许可证。 最近 30 天通过 Homebrew 安装了 68 次。 TLA+ Toolbox 是什么
TLA+ Toolbox 是一款适用于 macOS 的开发工具：TLA 的集成开发环境。
它以 Homebrew cask 形式分发，会把 .app 安装到“应用程序”文件夹。该项目是开源的，代码位于 https://lamport.azurewebsites.net/tla/toolbox.html。
如何安装 TLA+ Toolbox
- 打开 终端（按 ⌘ + 空格，输入“终端”）。
- 如果还没安装 Homebrew，先运行下面这条安装命令。
- 运行
brew install --cask tla+-toolbox。
如果需要，先安装 Homebrew：
更喜欢图形安装包？可以从
官方网站
下载。本站从不托管或镜像二进制文件——Homebrew 命令始终从厂商自己的发布地址拉取。
开发工具中的类似应用
同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。
CodeBuddy人工智能驱动的自适应集成开发环境CodeBuddy CN人工智能驱动的自适应集成开发环境（中文版）Studio 3T Community EditionMongoDB 的 IDE、客户端和图形用户界面NoSQLBooster for MongoDBMongoDB 的图形用户界面工具和集成开发环境Eclipse IDE for Java EE Developers面向 Java EE 开发人员的 Eclipse IDERubyMineRuby on Rails 集成开发环境
常见问题
如何在 Mac 上安装 TLA+ Toolbox？
在“终端”中运行 brew install --cask tla+-toolbox。这需要 Homebrew；如果还没装，请先用下面的命令安装。
TLA+ Toolbox 是开源软件吗？
Homebrew 元数据没有为该应用声明许可证，请以官方网站为准。
TLA+ Toolbox 能在 Apple 芯片上运行吗？
可以，它提供通用二进制。
TLA+ Toolbox 有多流行？
根据 Homebrew 统计，最近 30 天它被安装了 68 次，在本目录中排名第 4069。
TLA+ Toolbox 当前是什么版本？
当前打包的最新版本是 1.7.4。
数据来自 Homebrew 公开 API，最后更新于 2026-10-26。安装量只统计通过 Homebrew 安装的次数，不代表总用户数。