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 Beta?
Coq Beta é um programa de código aberto para Windows, publicado por Coq. 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 19 de março de 2026. São 3 versões listadas desde 14 de novembro de 2021, cada uma com links para os próprios instaladores. Isso dá cerca de 0,7 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 Beta é 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 Beta?
- 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 versões ›3 versões em 4 anos · cerca de 0,7 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 2025.08.3Atual | 19 de março de 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 10 de fevereiro de 2025 | — | 64 bits EXE (NSIS) |
| 8.14.0 | 14 de novembro de 2021 | — | Qualquer processador EXE (NSIS) |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SGuia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- Coq
- 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
- 19 de março de 2026
- Adicionado ao catálogo
- 14 de novembro de 2021
- Versões registradas
- 3
- Atualizações por ano
- 0,7
- Estrelas no GitHub
- 247
- Forks no GitHub
- 56
- Site oficial
- github.com
- ID do winget
- Coq.CoqPlatform.Beta
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Perguntas frequentes
Coq Beta é grátis?
Sim. Coq Beta é um software de código aberto com licença CC0-1.0.
É seguro baixar Coq Beta?
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 Beta 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 Beta em modo silencioso?
Sim. A página de instalação silenciosa traz o comando exato para cada instalador.
Coq Beta 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 Beta?
A página de versões lista as 3 versões com links para os instaladores oficiais, desde 14 de novembro de 2021.