TLA+ Toolbox
由 TLA+ Foundation 发布
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
开源MIT
本页部分内容以其撰写时的语言显示，因为翻译尚未完成。
获取途径
Linux
- 在 Flathub 上打开在新标签页中打开软件包仓库Flathub
来自发布者
在终端中安装
flatpak install flathub org.lamport.tla.toolbox
我们不托管该文件，不扫描该文件，也不检查其内容。请阅读来源的说明，然后自行判断。