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 Beta?
Coq Beta és un programa de codi obert per a Windows, publicat per Coq. 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 19 de març del 2026. Hi ha 3 versions registrades des de 14 de novembre del 2021, cadascuna amb enllaços als seus propis instal·ladors. Això suposa unes 0,7 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 Beta é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 Beta?
- 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 versions ›3 versions en 4 anys · unes 0,7 per any
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 2025.08.3Darrera | 19 de març del 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 10 de febrer del 2025 | — | 64 bits EXE (NSIS) |
| 8.14.0 | 14 de novembre del 2021 | — | Qualsevol processador EXE (NSIS) |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SGuia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Desenvolupador
- Coq
- 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ó
- 19 de març del 2026
- Afegit al catàleg
- 14 de novembre del 2021
- Versions registrades
- 3
- Actualitzacions per any
- 0,7
- Estrelles a GitHub
- 247
- Bifurcacions a GitHub
- 56
- Lloc web
- github.com
- ID de winget
- Coq.CoqPlatform.Beta
Valoracions i opinions
Encara no hi ha cap opinió.
Preguntes freqüents
Coq Beta és gratuït?
Sí. Coq Beta és programari de codi obert amb llicència CC0-1.0.
És segur baixar Coq Beta?
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 Beta 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 Beta en mode silenciós?
Sí. La pàgina d’instal·lació silenciosa recull l’ordre exacta per a cada instal·lador.
Coq Beta 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 Beta?
La pàgina de versions recull les 3 versions amb enllaços als instal·ladors oficials, des de 14 de novembre del 2021.