Isabelle
Generic proof assistant
Cask教育与科研Apple 芯片 · Intel
来自 homebrew/cask
近 30 天安装21App榜第 1638
近一年安装253365 天累计
最新版本2025-22 天前 · 10月7日
下载大小1.7GBarm64 / x86_64 · gz
更新节奏不定期近 30 天 0 个版本
介绍
Generic proof assistant
新版本 2025-2 更新内容 来自 Homebrew 提交记录
这个版本没有单独的更新说明。