2025-2
Последняявт, 20 янв.Добавлено в Homebrew 20 янв. 01:22
Для этой версии нет отдельного описания обновления
Isabelle
Универсальный помощник доказательств для формального представления математических формул и их доказательства в логическом исчислении.
CaskОбразование и наукаЧип Apple · Intel
Источник homebrew/cask
Установки за последние 30 дней22Приложение: место 1644
Установки за последний год254Всего за 365 дней
Последняя версия2025-2позавчера · 7 окт.
Размер загрузки1,7ГБarm64 / x86_64 · gz
Частота обновленийНерегулярно0 релизов за 30 дней
2025-1
пн, 29 дек. 2025 г.Добавлено в Homebrew 29 дек. 2025 г. 17:43
Для этой версии нет отдельного описания обновления2025
пт, 14 мар. 2025 г.Добавлено в Homebrew 14 мар. 2025 г. 03:36
Для этой версии нет отдельного описания обновления