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?
Coq është një program me burim të hapur për Windows, nga The Coq Team. Ë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ë 9 prill 2026. Janë renditur 5 versione që nga 21 shtator 2021, secili me lidhjet te skedarët e vet të instalimit. Kjo do të thotë rreth 1,1 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 ë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?
- 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:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 (5) ›5 versione në 5 vjet · rreth 1,1 në vit
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 2025.08.3I fundit | 9 prill 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 shkurt 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 shkurt 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28 janar 2022 | — | Çdo procesor EXE (NSIS) |
| 8.13.2 | 21 shtator 2021 | — | Çdo procesor EXE (NSIS) |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SUdhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Botuesi
- The Coq Team
- 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
- 9 prill 2026
- Shtuar në katalog
- 21 shtator 2021
- Versione në listë
- 5
- Përditësime në vit
- 1,1
- Yje në GitHub
- 247
- Forke në GitHub
- 56
- Faqja e internetit
- github.com
- ID winget
- Coq.CoqPlatform
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Pyetjet më të shpeshta
A është Coq falas?
Po. Coq është softuer me burim të hapur me licencën CC0-1.0.
A është i sigurt shkarkimi i Coq?
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 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 në heshtje?
Po. Faqja e instalimit të heshtur jep komandën e saktë për çdo instalues.
A funksionon Coq 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?
Faqja e versioneve rendit të 5 versionet me lidhje te skedarët zyrtarë të instalimit, që nga 21 shtator 2021.