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.
Përshkrimi i botuesit (anglisht)
Çfarë është Coq Beta?
Coq Beta është një program me burim të hapur për Windows, nga Coq. Është shkruar në Shell.
Instalimi dhe kërkesat
Ka instalues zyrtarë për 64-bit në formatin EXE (NSIS). Instalimi kërkon të drejta administratori. Instaluesi mbështet instalimin pa ndërhyrje (instalim i heshtur).
Përditësimet dhe historiku i versioneve
Versioni i fundit është 2025.08.3, publikuar më 19 mars 2026. Janë renditur 3 versione që nga 14 nëntor 2021, secili me lidhjet te skedarët e vet të instalimit. Kjo do të thotë rreth 0,7 publikime në vit.
Popullariteti dhe llojet e skedarëve
Kodi burimor në GitHub (rocq-prover/platform) ka 247 yje.
Përshkrimi i projektit në GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Instalim i heshtur i dokumentuar
Pikat e dobëta
- Pa version vendas ARM64
- Instalimi kërkon të drejta administratori
Shkurtimisht: Coq Beta është një mjet me burim të hapur për Windows, për kompjuterë 64-bit. Administratorët mund ta shpërndajnë pa ndërhyrje.
A është i sigurt shkarkimi i Coq Beta?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (3) ›3 versione në 4 vjet · rreth 0,7 në vit
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 2025.08.3I fundit | 19 mars 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10 shkurt 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14 nëntor 2021 | — | Çdo procesor EXE (NSIS) |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SUdhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Botuesi
- Coq
- Licenca
- CC0-1.0
- Çmimi
- Falas
- Kodi burimor
- github.com/rocq-prover/platform
- Shkruar në
- Shell
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- EXE (NSIS)
- Versioni
- 2025.08.3
- Publikuar
- 19 mars 2026
- Shtuar në katalog
- 14 nëntor 2021
- Versione në listë
- 3
- Përditësime në vit
- 0,7
- Yje në GitHub
- 247
- Forke në GitHub
- 56
- Faqja e internetit
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Pyetjet më të shpeshta
A është Coq Beta falas?
Po. Coq Beta është softuer me burim të hapur me licencën CC0-1.0.
A është i sigurt shkarkimi i Coq Beta?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
Si ta instaloj Coq Beta me winget?
Hapni PowerShell ose Windows Terminal dhe ekzekutoni komandën winget që tregohet në këtë faqe. winget shkarkon instaluesin zyrtar dhe kontrollon hash-in SHA256 para se ta ekzekutojë.
A mund të instalohet Coq Beta në heshtje?
Po. Faqja e instalimit të heshtur jep komandën e saktë për çdo instalues.
A funksionon Coq Beta në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
Ku mund të shkarkoj një version të vjetër të Coq Beta?
Faqja e versioneve rendit të 3 versionet me lidhje te skedarët zyrtarë të instalimit, që nga 14 nëntor 2021.