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.
Descrierea dezvoltatorului (engleză)
Ce este Coq Beta?
Coq Beta este un program open source pentru Windows, publicat de Coq. Este scris în Shell.
Instalare și cerințe
Există instalatoare oficiale pentru 64 de biți, în format EXE (NSIS). Instalarea cere drepturi de administrator. Instalatorul permite o instalare automată, fără ferestre și fără întrebări.
Actualizări și istoricul versiunilor
Versiunea actuală este 2025.08.3, lansată pe 19 martie 2026. Sunt listate 3 versiuni începând din 14 noiembrie 2021, fiecare cu linkuri către propriile fișiere de instalare. Asta înseamnă aproximativ 0,7 versiuni pe an.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (rocq-prover/platform) are 247 de stele.
Descrierea proiectului pe GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Instalare silențioasă documentată
Dezavantaje
- Fără versiune nativă ARM64
- Instalarea necesită drepturi de administrator
Pe scurt: Coq Beta este un program open source pentru Windows, disponibil pentru calculatoare cu 64 de biți. Administratorii de sistem îl pot distribui fără intervenția utilizatorului.
Este sigur să descărcați Coq Beta?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
Toate cele 3 versiuni ›3 versiuni în 4 ani · aproximativ 0,7 pe an
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 2025.08.3Cea mai nouă | 19 martie 2026 | — | 64 de biți EXE (NSIS) |
| 2025.1.0 | 10 februarie 2025 | — | 64 de biți EXE (NSIS) |
| 8.14.0 | 14 noiembrie 2021 | — | Orice procesor EXE (NSIS) |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SGhid asociat: Cum se folosește winget: instalare și actualizare
Informații
- Dezvoltator
- Coq
- Licență
- CC0-1.0
- Preț
- Gratuit
- Cod sursă
- github.com/rocq-prover/platform
- Limbaj de programare
- Shell
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- EXE (NSIS)
- Versiune
- 2025.08.3
- Data lansării
- 19 martie 2026
- Adăugat în catalog
- 14 noiembrie 2021
- Versiuni listate
- 3
- Actualizări pe an
- 0,7
- Stele pe GitHub
- 247
- Fork-uri pe GitHub
- 56
- Site web
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Evaluări și recenzii
Nicio recenzie încă.
Întrebări frecvente
Este Coq Beta gratuit?
Da. Coq Beta este un software open source cu licența CC0-1.0.
Este sigur să descărcați Coq Beta?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează Coq Beta cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Se poate instala Coq Beta silențios?
Da. Pagina de instalare silențioasă conține comanda exactă pentru fiecare instalator.
Funcționează Coq Beta pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului Coq Beta?
Pagina de versiuni listează toate cele 3 versiuni, cu linkuri către instalatoarele oficiale, începând din 14 noiembrie 2021.