超过 90 天没有新版本，OpenNavo 已暂停推荐和安装；Homebrew 仍在提供此应用。

TLA+ Toolbox

面向 TLA+ 工具的 macOS 集成开发环境，支持规格编辑、PlusCal 翻译、TLC 模型检查、错误轨迹探索和证明系统。

Cask开发工具Apple 芯片 · Intel已停用

来自 homebrew/cask

近 30 天安装61

近一年安装682365 天累计

最新版本1.7.42024年8月5日 · 2024年8月5日

下载大小179MBarm64 / x86_64 · zip

更新节奏不定期近 30 天 0 个版本

来源仓库: homebrew/cask
其他名称: TLA+ Toolbox · tla-plus-toolbox · tla+-toolbox
下载地址: github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256: 258677703e28a65d…
Homebrew 定义文件: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/t/tla+-toolbox.rb
formulae.brew.sh: formulae.brew.sh/cask/tla+-toolbox
源代码: github.com/tlaplus/tlaplus

安装与卸载内容

安装 app

来源文件: TLA+ Toolbox.app

声明的目标位置: /Applications/TLA+ Toolbox.app

查看完整声明

{
  "app": [
    "TLA+ Toolbox.app"
  ],
  "target": "/Applications/TLA+ Toolbox.app"
}