2025-2
最新1月20日(火)Homebrewへの登録 1月20日 01:22
このバージョンには個別の更新内容はありません
Isabelle
Generic proof assistant
CaskEducation & ScienceApple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数21Appランキング 1638 位
過去1年間のインストール数253過去365日間の合計
最新バージョン2025-2一昨日 · 10月7日
ダウンロードサイズ1.7GBarm64 / x86_64 · gz
更新頻度不定期過去30日間に0回リリース
2025-1
2025年12月29日(月)Homebrewへの登録 2025年12月29日 17:43
このバージョンには個別の更新内容はありません2025
2025年3月14日(金)Homebrewへの登録 2025年3月14日 03:36
このバージョンには個別の更新内容はありません