The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq
libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq
plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
Descrição do desenvolvedor (inglês)
O que é Coq?
Coq é um programa de código aberto para Windows, publicado por The Coq Team. Foi escrito em Shell.
Instalação e requisitos
Há instaladores oficiais para 64 bits no formato EXE (NSIS). A instalação pede permissão de administrador. O instalador aceita instalação automática, sem janelas nem perguntas.
Atualizações e histórico de versões
A versão atual é a 2025.08.3, lançada em 9 de abril de 2026. São 5 versões listadas desde 21 de setembro de 2021, cada uma com links para os próprios instaladores. Isso dá cerca de 1,1 versões por ano.
Popularidade e tipos de arquivo
O código-fonte no GitHub (rocq-prover/platform) tem 247 estrelas.
Descrição do projeto no GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Instalação silenciosa documentada
Pontos negativos
- Sem versão nativa ARM64
- A instalação exige permissão de administrador
Em resumo: Coq é um programa de código aberto para Windows, disponível para PCs 64 bits. Administradores de TI podem implantá-lo sem interação do usuário.
É seguro baixar Coq?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 5 versões ›5 versões em 5 anos · cerca de 1,1 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 2025.08.3Atual | 9 de abril de 2026 | — | 64 bits EXE (NSIS) |
| 2025.08.2 | 19 de fevereiro de 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 17 de fevereiro de 2025 | — | 64 bits EXE (NSIS) |
| 8.14.1 | 28 de janeiro de 2022 | — | Qualquer processador EXE (NSIS) |
| 8.13.2 | 21 de setembro de 2021 | — | Qualquer processador EXE (NSIS) |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGuia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- The Coq Team
- Licença
- CC0-1.0
- Preço
- Grátis
- Código-fonte
- github.com/rocq-prover/platform
- Linguagem
- Shell
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- EXE (NSIS)
- Versão
- 2025.08.3
- Lançamento
- 9 de abril de 2026
- Adicionado ao catálogo
- 21 de setembro de 2021
- Versões registradas
- 5
- Atualizações por ano
- 1,1
- Estrelas no GitHub
- 247
- Forks no GitHub
- 56
- Site oficial
- github.com
- ID do winget
- Coq.CoqPlatform
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Perguntas frequentes
Coq é grátis?
Sim. Coq é um software de código aberto com licença CC0-1.0.
É seguro baixar Coq?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar Coq pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Dá para instalar Coq em modo silencioso?
Sim. A página de instalação silenciosa traz o comando exato para cada instalador.
Coq roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Onde baixar versões antigas de Coq?
A página de versões lista as 5 versões com links para os instaladores oficiais, desde 21 de setembro de 2021.