Coq Platform

Aplicativo de gerenciamento de provas para macOS com Rocq Prover, voltado à demonstração interativa de teoremas e à programação com tipos dependentes.

CaskEducação e pesquisaApple Silicon · Intel

Página inicial

Fonte homebrew/cask

Instalações nos últimos 30 dias16Appsº lugar: 1870

Instalações no último ano196Total em 365 dias

Versão mais recente2025.01.031 de mar. de 2025 · 31 de mar. de 2025

Tamanho do download1,0GBarm64 / x86_64 · dmg

Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias

2025.01.0
Atualizadoseg., 31 de mar. de 2025
Editoria OpenNavoInclusão no Homebrew 31 de mar. de 2025 08:23
A plataforma inclui o servidor de linguagem VsCoq, ao qual o VSCoq pode se conectar diretamente. O Snap não é mais compatível; as notas também registram ressalvas sobre instaladores e pacotes.
Linguagem
A plataforma inclui o servidor de linguagem VsCoq.O VSCoq pode se conectar ao servidor fornecido pelo instalador binário.No Windows, também pode se conectar a um servidor compilado do código-fonte.
Versões
Recomendada: Coq 8.20.1 com a coleção de pacotes de janeiro de 2025.São listadas versões compatíveis de Coq 8.19.2 até Coq 8.12.2.
Avisos
O Snap não é mais compatível; uma alternativa está em desenvolvimento.QuickChick exige OCaml, ausente nos instaladores binários de macOS e Windows.