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.
Descrizione del produttore (inglese)
Cos’è Coq?
Coq è un programma open source per Windows di The Coq Team. È scritto in Shell.
Installazione e requisiti
I file di installazione ufficiali sono disponibili per Windows 64 bit in formato EXE (NSIS). L’installazione richiede i diritti di amministratore. L’installer supporta l’installazione automatica, senza richieste all’utente.
Aggiornamenti e cronologia delle versioni
La versione attuale è la 2025.08.3 (rilascio: 9 aprile 2026). Sono elencate 5 versioni, la più vecchia datata 21 settembre 2021, ciascuna con i propri file di installazione. In media escono circa 1,1 versioni all’anno.
Popolarità e tipi di file
Il codice sorgente su GitHub (rocq-prover/platform) ha 247 stelle.
Descrizione del progetto su GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Installazione silenziosa documentata
Contro
- Nessuna versione ARM64 nativa
- L’installazione richiede i diritti di amministratore
In breve: Coq è un programma open source per Windows, per PC 64 bit. Gli amministratori di sistema possono distribuirlo senza interazione.
Scaricare Coq è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (5) ›5 versioni in 5 anni · circa 1,1 all’anno
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 2025.08.3Ultima | 9 aprile 2026 | — | 64 bit EXE (NSIS) |
| 2025.08.2 | 19 febbraio 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 17 febbraio 2025 | — | 64 bit EXE (NSIS) |
| 8.14.1 | 28 gennaio 2022 | — | Qualsiasi CPU EXE (NSIS) |
| 8.13.2 | 21 settembre 2021 | — | Qualsiasi CPU EXE (NSIS) |
Installazione da riga di comando
Installazione silenziosa ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGuida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Produttore
- The Coq Team
- Licenza
- CC0-1.0
- Prezzo
- Gratis
- Codice sorgente
- github.com/rocq-prover/platform
- Linguaggio
- Shell
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- EXE (NSIS)
- Versione
- 2025.08.3
- Data di rilascio
- 9 aprile 2026
- Aggiunto al catalogo
- 21 settembre 2021
- Versioni elencate
- 5
- Aggiornamenti all’anno
- 1,1
- Stelle su GitHub
- 247
- Fork su GitHub
- 56
- Sito ufficiale
- github.com
- ID winget
- Coq.CoqPlatform
Valutazioni e recensioni
Ancora nessuna recensione.
Domande frequenti
Coq è gratis?
Sì. Coq è un software open source con licenza CC0-1.0.
Scaricare Coq è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa Coq con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
Coq si può installare in modo silenzioso?
Sì. La pagina dell’installazione silenziosa riporta il comando esatto per ogni installer.
Coq funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di Coq?
La pagina delle versioni elenca tutte le 5 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 21 settembre 2021.