Homebrew отключил этот пакет: Версия не обновлялась более 90 дней

Coq Platform

Приложение для macOS для управления доказательствами с Rocq Prover: интерактивного доказательства теорем и программирования с зависимыми типами.

CaskОбразование и наукаЧип Apple · IntelОтключено

Источник homebrew/cask

Установки за последние 30 дней16

Установки за последний год196Всего за 365 дней

Последняя версия2025.01.031 мар. 2025 г. · 31 мар. 2025 г.

Размер загрузки1,0ГБarm64 / x86_64 · dmg

Частота обновленийНерегулярно0 релизов за 30 дней

2025.01.0
Последняяпн, 31 мар. 2025 г.
Редакция OpenNavoДобавлено в Homebrew 31 мар. 2025 г. 08:23
Платформа включает языковой сервер VsCoq, к которому VSCoq может подключаться напрямую. Snap больше не поддерживается; в примечаниях также указаны ограничения установщиков и пакетов.
Язык
В платформу включён языковой сервер VsCoq.VSCoq может подключаться к серверу из бинарного установщика.В Windows можно подключиться и к серверу, собранному из исходников.
Версии
Рекомендуется Coq 8.20.1 с коллекцией пакетов за январь 2025 года.Перечислены совместимые версии от Coq 8.19.2 до Coq 8.12.2.
Примечания
Snap больше не поддерживается; разрабатывается замена.Установщик macOS Intel имеет проблемы; рекомендуется сборка из исходников.QuickChick требует OCaml, которого нет в бинарных установщиках macOS и Windows.