TLA+ Toolbox

如果你需要编程开发方向的软件，TLA+ Toolbox 是个直接的选择：日常用起来比较稳。macOS 都能用，最新记录是 当前稳定版，安装包约 见页面。安装配置不复杂，跟着向导走就行。我们这边只走官方源，不做任何二次打包，安装包干净是底线。需要历史版本的话，可以看页面下方的下载列表。TLA+ Toolbox 支持自定义设置，改完记得保存一次。遇到安装失败，先看页面底部的常见问题。