Coq Platform
Formal proof management system
CaskEducation & ScienceЧип Apple · Intel
Источник homebrew/cask
Установки за последние 30 дней16Приложение: место 1782
Установки за последний год196Всего за 365 дней
Последняя версия2025.01.0вчера · 7 окт.
Размер загрузки1,0ГБarm64 / x86_64 · dmg
Частота обновленийНерегулярно0 релизов за 30 дней
Описание
Formal proof management system
Новая версия Что нового в 2025.01.0 Из истории коммитов Homebrew
Для этой версии нет отдельного описания обновлений.