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 Beta?
Coq Beta è un programma open source per Windows di Coq. È 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: 19 marzo 2026). Sono elencate 3 versioni, la più vecchia datata 14 novembre 2021, ciascuna con i propri file di installazione. In media escono circa 0,7 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 Beta è un programma open source per Windows, per PC 64 bit. Gli amministratori di sistema possono distribuirlo senza interazione.
Scaricare Coq Beta è 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 versioni in 4 anni · circa 0,7 all’anno
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 2025.08.3Ultima | 19 marzo 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 10 febbraio 2025 | — | 64 bit EXE (NSIS) |
| 8.14.0 | 14 novembre 2021 | — | Qualsiasi CPU EXE (NSIS) |
Installazione da riga di comando
Installazione silenziosa ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SGuida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Produttore
- Coq
- 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
- 19 marzo 2026
- Aggiunto al catalogo
- 14 novembre 2021
- Versioni elencate
- 3
- Aggiornamenti all’anno
- 0,7
- Stelle su GitHub
- 247
- Fork su GitHub
- 56
- Sito ufficiale
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Valutazioni e recensioni
Ancora nessuna recensione.
Domande frequenti
Coq Beta è gratis?
Sì. Coq Beta è un software open source con licenza CC0-1.0.
Scaricare Coq Beta è 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 Beta 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 Beta si può installare in modo silenzioso?
Sì. La pagina dell’installazione silenziosa riporta il comando esatto per ogni installer.
Coq Beta 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 Beta?
La pagina delle versioni elenca tutte le 3 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 14 novembre 2021.