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?
Coq es un programa de código abierto para Windows, publicado por The Coq Team. 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 9 de abril de 2026. Hay 5 versiones registradas desde 21 de septiembre de 2021, cada una con enlaces a sus propios instaladores. Eso supone unas 1,1 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 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?
- 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:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 5 versiones ›5 versiones en 5 años · unas 1,1 al año
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 2025.08.3Última | 9 de abril de 2026 | — | 64 bits EXE (NSIS) |
| 2025.08.2 | 19 de febrero de 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 17 de febrero de 2025 | — | 64 bits EXE (NSIS) |
| 8.14.1 | 28 de enero de 2022 | — | Cualquier procesador EXE (NSIS) |
| 8.13.2 | 21 de septiembre de 2021 | — | Cualquier procesador EXE (NSIS) |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGuía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Desarrollador
- The Coq Team
- 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
- 9 de abril de 2026
- Añadido al catálogo
- 21 de septiembre de 2021
- Versiones registradas
- 5
- Actualizaciones al año
- 1,1
- Estrellas en GitHub
- 247
- Forks en GitHub
- 56
- Sitio web
- github.com
- ID de winget
- Coq.CoqPlatform
Valoraciones y opiniones
Todavía no hay opiniones.
Preguntas frecuentes
¿Es gratis Coq?
Sí. Coq es software de código abierto con licencia CC0-1.0.
¿Es seguro descargar Coq?
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 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 en modo silencioso?
Sí. La página de instalación silenciosa recoge el comando exacto para cada instalador.
¿Funciona Coq 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?
La página de versiones recoge las 5 versiones con enlaces a sus instaladores oficiales, desde 21 de septiembre de 2021.