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 个版本

  1. 2025-2

    最新1月20日 · 周二

    Homebrew 收录 1月20日 01:22

    此版本没有单独的更新说明

  2. 2025-1

    2025年12月29日 · 周一

    Homebrew 收录 2025年12月29日 17:43

    此版本没有单独的更新说明

  3. 2025

    2025年3月14日 · 周五

    Homebrew 收录 2025年3月14日 03:36

    此版本没有单独的更新说明