OpenNavo
Homebrew 已停用此包：fails_gatekeeper_check

Isabelle

一款通用证明助手，可用形式语言表达数学公式，并在逻辑演算中证明这些公式。

Cask教育与科研Apple 芯片 · Intel已停用
主页
来自 homebrew/cask
近 30 天安装25
近一年安装253365 天累计
最新版本2025-21月20日 · 1月20日
下载大小1.7GBarm64 / x86_64 · gz
更新节奏不定期近 30 天 0 个版本
来源仓库
homebrew/cask
其他名称
Isabelle · isabelle
附带命令
isabelle
下载地址
www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
SHA-256
8f187496e295f169…
Homebrew 定义文件
github.com/homebrew/homebrew-cask/blob/HEAD/Casks/i/isabelle.rb
formulae.brew.sh
formulae.brew.sh/cask/isabelle

安装与卸载内容

  • 安装 artifact

    来源文件: Isabelle2025-2.app

    声明的目标位置: $APPDIR/Isabelle2025-2.app

    查看完整声明
    {
  "artifact": [
    "Isabelle2025-2.app",
    {
      "target": "$APPDIR/Isabelle2025-2.app"
    }
  ],
  "target": "$APPDIR/Isabelle2025-2.app"
}

  • 安装 binary

    来源文件: $APPDIR/Isabelle2025-2.app/bin/isabelle

    声明的目标位置: $HOMEBREW_PREFIX/bin/isabelle

    查看完整声明
    {
  "binary": [
    "$APPDIR/Isabelle2025-2.app/bin/isabelle"
  ],
  "target": "$HOMEBREW_PREFIX/bin/isabelle"
}