Isabelle
数学公式を形式言語で表現し、論理計算体系で証明するための汎用証明支援系です。
Cask教育・研究Apple シリコン · Intel
提供元 homebrew/cask
過去 30 日間のインストール数22Appランキング 1644 位
過去1年間のインストール数254過去365日間の合計
最新バージョン2025-2一昨日 · 10月7日
ダウンロードサイズ1.7GBarm64 / x86_64 · gz
更新頻度不定期過去30日間に0回リリース
- システム要件
- 未確認
プラットフォームの対応状況
- macOS 27 · Intel · 2025-2 未確認
- macOS 27 · Appleシリコン · 2025-2 未確認
- macOS 26 · Intel · 2025-2 未確認
- macOS 26 · Appleシリコン · 2025-2 未確認
- macOS 15 · Intel · 2025-2 未確認
- macOS 15 · Appleシリコン · 2025-2 未確認
- macOS 14 · Intel · 2025-2 未確認
- macOS 14 · Appleシリコン · 2025-2 未確認
- macOS 13 · Intel · 2025-2 未確認
- macOS 13 · Appleシリコン · 2025-2 未確認
- macOS 12 · Intel · 2025-2 未確認
- macOS 12 · Appleシリコン · 2025-2 未確認
- macOS 11 · Intel · 2025-2 未確認
- macOS 11 · Appleシリコン · 2025-2 未確認
宣言全体を表示
{
"macos": {}
}