OpenNavo
Homebrewによりこのパッケージは無効化されています：fails_gatekeeper_check

Isabelle

数学公式を形式言語で表現し、論理計算体系で証明するための汎用証明支援系です。

Cask教育・研究Apple シリコン · Intel無効化済み
ホームページ
提供元 homebrew/cask
過去 30 日間のインストール数26
過去1年間のインストール数253過去365日間の合計
最新バージョン2025-21月20日 · 1月20日
ダウンロードサイズ1.7GBarm64 / x86_64 · gz
更新頻度不定期過去30日間に0回リリース
ソースリポジトリ
homebrew/cask
その他の名前
Isabelle · isabelle
付属コマンド
isabelle
ダウンロードURL
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"
}