IDE for the TLA+ tools.
厂商介绍（英语）
tlaplus-toolbox是什么软件？
tlaplus-toolbox是「科学与数学」分类下的一款开源Windows软件。除Windows外，还提供Linux版本。
安装与系统要求
官方为通用架构 Windows提供绿色版格式的安装包。无需安装即可运行（绿色版）。
优点 / 不足
优点
- 开源：任何人都可以查看和编译源代码
- 绿色版，无需安装
- 同时支持Linux
总结: tlaplus-toolbox是一款适用于通用架构电脑的开源Windows软件，归入「科学与数学」类。
主要功能
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
tlaplus-toolbox下载安全吗？
- 文件由github.com提供，请确认它是厂商的官方镜像
- 下载链接使用HTTPS
- 该文件未公布哈希值
- 链接尚未检测
- 源代码公开
- ExeAtlas不托管、不捆绑、不修改安装包
相关教程: Windows下如何校验文件的SHA256哈希值
最近版本
全部1个版本 ›命令行安装
静默安装 ›PowerShell
scoop
scoop install extras/tlaplus-toolbox程序文件（.exe）: tlc.exe, toolbox.exe
相关教程: winget使用教程：安装和更新软件
其他系统版本
Linux（Flathub）
flatpak install flathub org.lamport.tla.toolbox软件信息
- 分类
- 科学与数学
- 许可
- MIT
- 价格
- 免费
- 内容分级
- 所有年龄
- 系统要求
- Windows 11 / 10
- 架构
- 通用架构
- 安装包类型
- 绿色版
- 其他平台
- Linux
- 版本
- 1.8.0
- 收录版本数
- 1
- 官网
- lamport.azurewebsites.net
- Scoop包名
- extras/tlaplus-toolbox
评分与评价
–
0条评分
50
40
30
20
10
暂无评价，欢迎第一个评分。
tlaplus-toolbox替代软件
查看全部 ›-
开源11.8万 ↓ -
开源12.7万 ↓ -
开源4.6万 ↓ -
开源5万 ↓ -
开源1.2万 ↓ -
开源1.8万 ↓ -
开源2.5万 ↓ - 开源2.9万 ↓
常见问题
tlaplus-toolbox是免费的吗？
是的。tlaplus-toolbox是开源软件，采用MIT许可证。
tlaplus-toolbox下载安全吗？
安装包来自github.com；ExeAtlas不托管也不修改文件。
tlaplus-toolbox能在ARM电脑（Windows on Arm）上运行吗？
安装包与处理器架构无关。
没有管理员权限能用tlaplus-toolbox吗？
可以，它是绿色版，解压后直接运行。
tlaplus-toolbox有哪些替代软件？
Stellarium、KiCad、Quarto、Qalculate!和JASP。替代软件页面对它们做了对比。
