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 Beta ni nini?
Coq Beta ni programu ya chanzo huria ya Windows kutoka Coq. 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 19 Machi 2026. Yameorodheshwa matoleo 3 tangu 14 Novemba 2021, na kila moja lina viungo vya faili zake za kisakinishi. Hiyo ni takriban matoleo 0.7 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 Beta ni zana ya chanzo huria ya Windows kwa kompyuta za 64-bit. Wasimamizi wa mifumo wanaweza kuisambaza bila maswali.
Je, ni salama kupakua Coq Beta?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 ›matoleo 3 katika miaka 4 · takriban 0.7 kwa mwaka
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 2025.08.3Jipya zaidi | 19 Machi 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10 Februari 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14 Novemba 2021 | — | CPU yoyote EXE (NSIS) |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SMwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Mchapishaji
- Coq
- 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
- 19 Machi 2026
- Iliongezwa kwenye orodha
- 14 Novemba 2021
- Matoleo yaliyoorodheshwa
- 3
- Masasisho / mwaka
- 0.7
- Nyota za GitHub
- 247
- Forks za GitHub
- 56
- Tovuti
- github.com
- Kitambulisho cha winget
- Coq.CoqPlatform.Beta
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Maswali yanayoulizwa mara kwa mara
Je, Coq Beta ni bure?
Ndiyo. Coq Beta ni programu ya chanzo huria chini ya leseni ya CC0-1.0.
Je, ni salama kupakua Coq Beta?
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 Beta 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 Beta inaweza kusakinishwa kimya?
Ndiyo. Ukurasa wa usakinishaji kimya unaonyesha amri kamili kwa kila kisakinishi.
Je, Coq Beta 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 Beta?
Ukurasa wa matoleo unaorodhesha matoleo 3 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 14 Novemba 2021.