Isabelle
Generic proof assistant
CaskEducation & ScienceЧип Apple · Intel
Источник homebrew/cask
Установки за последние 30 дней19Приложение: место 1656
Установки за последний год251Всего за 365 дней
Последняя версия2025-2вчера · 7 окт.
Размер загрузки1,7ГБarm64 / x86_64 · gz
Частота обновленийНерегулярно0 релизов за 30 дней
Описание
Generic proof assistant
Новая версия Что нового в 2025-2 Из истории коммитов Homebrew
Для этой версии нет отдельного описания обновлений.