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ó del desenvolupador (anglès)
Què és Coq?
Coq és un programa de codi obert per a Windows, publicat per The Coq Team. Està escrit en Shell.
Instal·lació i requisits
Hi ha instal·ladors oficials per a 64 bits en format EXE (NSIS). La instal·lació demana permisos d’administrador. L’instal·lador permet una instal·lació desatesa, sense finestres ni preguntes.
Actualitzacions i historial de versions
La versió actual és la 2025.08.3, publicada el 9 d’abril del 2026. Hi ha 5 versions registrades des de 21 de setembre del 2021, cadascuna amb enllaços als seus propis instal·ladors. Això suposa unes 1,1 versions per any.
Popularitat i tipus de fitxer
El codi font a GitHub (rocq-prover/platform) té 247 estrelles.
Descripció del projecte a GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Instal·lació silenciosa documentada
Inconvenients
- Sense versió nativa per a ARM64
- La instal·lació requereix permisos d’administrador
En resum: Coq és un programa de codi obert per a Windows, disponible per a ordinadors de 64 bits. Els administradors de sistemes el poden desplegar de manera desatesa.
És segur baixar Coq?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Les 5 versions ›5 versions en 5 anys · unes 1,1 per any
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 2025.08.3Darrera | 9 d’abril del 2026 | — | 64 bits EXE (NSIS) |
| 2025.08.2 | 19 de febrer del 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 17 de febrer del 2025 | — | 64 bits EXE (NSIS) |
| 8.14.1 | 28 de gener del 2022 | — | Qualsevol processador EXE (NSIS) |
| 8.13.2 | 21 de setembre del 2021 | — | Qualsevol processador EXE (NSIS) |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGuia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Desenvolupador
- The Coq Team
- Llicència
- CC0-1.0
- Preu
- Gratuït
- Codi font
- github.com/rocq-prover/platform
- Llenguatge
- Shell
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- EXE (NSIS)
- Versió
- 2025.08.3
- Data de publicació
- 9 d’abril del 2026
- Afegit al catàleg
- 21 de setembre del 2021
- Versions registrades
- 5
- Actualitzacions per any
- 1,1
- Estrelles a GitHub
- 247
- Bifurcacions a GitHub
- 56
- Lloc web
- github.com
- ID de winget
- Coq.CoqPlatform
Valoracions i opinions
Encara no hi ha cap opinió.
Preguntes freqüents
Coq és gratuït?
Sí. Coq és programari de codi obert amb llicència CC0-1.0.
És segur baixar Coq?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la Coq amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
Es pot instal·lar Coq en mode silenciós?
Sí. La pàgina d’instal·lació silenciosa recull l’ordre exacta per a cada instal·lador.
Coq funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
On es poden baixar versions anteriors de Coq?
La pàgina de versions recull les 5 versions amb enllaços als instal·ladors oficials, des de 21 de setembre del 2021.