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.
Maelezo ya mchapishaji (Kiingereza)
Coq ni nini?
Coq ni programu ya chanzo huria ya Windows kutoka The Coq Team. Imeandikwa kwa Shell.
Usakinishaji na mahitaji
Kuna visakinishi rasmi kwa 64-bit katika muundo wa EXE (NSIS). Usakinishaji unaomba haki za msimamizi. Kisakinishi kinaruhusu usakinishaji bila maswali (kimya).
Masasisho na historia ya matoleo
Toleo la sasa ni 2025.08.3, lililotolewa 9 Aprili 2026. Yameorodheshwa matoleo 5 tangu 21 Septemba 2021, na kila moja lina viungo vya faili zake za kisakinishi. Hiyo ni takriban matoleo 1.1 kwa mwaka.
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (rocq-prover/platform) una nyota 247.
Maelezo ya mradi kwenye GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Usakinishaji kimya umeelezwa
Hasara
- Hakuna toleo asili la ARM64
- Usakinishaji unahitaji haki za msimamizi
Kwa ufupi: Coq ni zana ya chanzo huria ya Windows kwa kompyuta za 64-bit. Wasimamizi wa mifumo wanaweza kuisambaza bila maswali.
Je, ni salama kupakua Coq?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Matoleo yote 5 ›matoleo 5 katika miaka 5 · takriban 1.1 kwa mwaka
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 2025.08.3Jipya zaidi | 9 Aprili 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 Februari 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 Februari 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28 Januari 2022 | — | CPU yoyote EXE (NSIS) |
| 8.13.2 | 21 Septemba 2021 | — | CPU yoyote EXE (NSIS) |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SMwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Mchapishaji
- The Coq Team
- Leseni
- CC0-1.0
- Bei
- Bure
- Msimbo chanzo
- github.com/rocq-prover/platform
- Imeandikwa kwa
- Shell
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- EXE (NSIS)
- Toleo
- 2025.08.3
- Ilitolewa
- 9 Aprili 2026
- Iliongezwa kwenye orodha
- 21 Septemba 2021
- Matoleo yaliyoorodheshwa
- 5
- Masasisho / mwaka
- 1.1
- Nyota za GitHub
- 247
- Forks za GitHub
- 56
- Tovuti
- github.com
- Kitambulisho cha winget
- Coq.CoqPlatform
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Maswali yanayoulizwa mara kwa mara
Je, Coq ni bure?
Ndiyo. Coq ni programu ya chanzo huria chini ya leseni ya CC0-1.0.
Je, ni salama kupakua Coq?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha Coq kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, Coq inaweza kusakinishwa kimya?
Ndiyo. Ukurasa wa usakinishaji kimya unaonyesha amri kamili kwa kila kisakinishi.
Je, Coq inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Wapi pa kupakua toleo la zamani la Coq?
Ukurasa wa matoleo unaorodhesha matoleo 5 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 21 Septemba 2021.