Isabelle
Generic proof assistant
CaskEducation & ScienceApple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数19Appランキング 1656 位
過去1年間のインストール数251過去365日間の合計
最新バージョン2025-2昨日 · 10月7日
ダウンロードサイズ1.7GBarm64 / x86_64 · gz
更新頻度不定期過去30日間に0回リリース
紹介
Generic proof assistant
新バージョン 2025-2の更新内容 Homebrewのコミット履歴より
このバージョンには個別の更新内容がありません。