Coq Platform
Formal proof management system
CaskEducation & ScienceApple Silicon · Intel
Fonte homebrew/cask
Instalações nos últimos 30 dias16Appsº lugar: 1782
Instalações no último ano196Total em 365 dias
Versão mais recente2025.01.0ontem · 7 de out.
Tamanho do download1,0GBarm64 / x86_64 · dmg
Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias
Descrição
Formal proof management system
Novidades Novidades da versão 2025.01.0 Do histórico de commits do Homebrew
Esta versão não tem notas de atualização específicas.