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.
Descripción del desarrollador (inglés)
¿Qué es Coq Beta?
Coq Beta es un programa de código abierto para Windows, publicado por Coq. Está escrito en Shell.
Instalación y requisitos
Hay instaladores oficiales para 64 bits en formato EXE (NSIS). La instalación pide permisos de administrador. El instalador permite una instalación desatendida, sin ventanas ni preguntas.
Actualizaciones e historial de versiones
La versión actual es la 2025.08.3, publicada el 19 de marzo de 2026. Hay 3 versiones registradas desde 14 de noviembre de 2021, cada una con enlaces a sus propios instaladores. Eso supone unas 0,7 versiones al año.
Popularidad y tipos de archivo
El código fuente en GitHub (rocq-prover/platform) tiene 247 estrellas.
Descripción del proyecto en GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Instalación silenciosa documentada
Inconvenientes
- Sin versión nativa para ARM64
- La instalación requiere permisos de administrador
En resumen: Coq Beta es un programa de código abierto para Windows, disponible para equipos de 64 bits. Los administradores de sistemas pueden desplegarlo de forma desatendida.
¿Es seguro descargar Coq Beta?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 3 versiones ›3 versiones en 4 años · unas 0,7 al año
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 2025.08.3Última | 19 de marzo de 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 10 de febrero de 2025 | — | 64 bits EXE (NSIS) |
| 8.14.0 | 14 de noviembre de 2021 | — | Cualquier procesador EXE (NSIS) |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SGuía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Desarrollador
- Coq
- Licencia
- CC0-1.0
- Precio
- Gratis
- Código fuente
- github.com/rocq-prover/platform
- Lenguaje
- Shell
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instalador
- EXE (NSIS)
- Versión
- 2025.08.3
- Fecha de publicación
- 19 de marzo de 2026
- Añadido al catálogo
- 14 de noviembre de 2021
- Versiones registradas
- 3
- Actualizaciones al año
- 0,7
- Estrellas en GitHub
- 247
- Forks en GitHub
- 56
- Sitio web
- github.com
- ID de winget
- Coq.CoqPlatform.Beta
Valoraciones y opiniones
Todavía no hay opiniones.
Preguntas frecuentes
¿Es gratis Coq Beta?
Sí. Coq Beta es software de código abierto con licencia CC0-1.0.
¿Es seguro descargar Coq Beta?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Cómo instalar Coq Beta con winget?
Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.
¿Se puede instalar Coq Beta en modo silencioso?
Sí. La página de instalación silenciosa recoge el comando exacto para cada instalador.
¿Funciona Coq Beta en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.
¿Dónde descargar versiones anteriores de Coq Beta?
La página de versiones recoge las 3 versiones con enlaces a sus instaladores oficiales, desde 14 de noviembre de 2021.