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.
Väljaandja kirjeldus (inglise)
Mis on Coq?
Coq on avatud lähtekoodiga Windowsi programm. Väljaandja: The Coq Team. Programmeerimiskeel: Shell.
Paigaldamine ja nõuded
Ametlikud paigaldusfailid on olemas järgmistele arhitektuuridele: 64-bitine; vorming EXE (NSIS). Paigaldamine nõuab administraatori õigusi. Paigaldaja toetab järelevalveta (vaikset) paigaldust.
Uuendused ja versiooniajalugu
Uusim versioon on 2025.08.3, avaldatud 9. aprill 2026. Kataloogis on 5 versiooni (esimene avaldatud 21. september 2021), igaühel lingid oma paigaldusfailidele. See teeb umbes 1,1 väljalaset aastas.
Populaarsus ja failitüübid
Lähtekoodil GitHubis (rocq-prover/platform) on 247 tähte.
Projekti kirjeldus GitHubis: “Multi platform setup for Rocq, Rocq libraries and tools”
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Dokumenteeritud vaikne paigaldus
Miinused
- Natiivne ARM64-versioon puudub
- Paigaldamine nõuab administraatori õigusi
Kokkuvõttes: Coq on avatud lähtekoodiga Windowsi tööriist (64-bitine). Administraatorid saavad selle paigaldada järelevalveta.
Kas programmi Coq allalaadimine on ohutu?
- Faili jagab github.com, väljaandja enda domeen
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Kõik 5 versiooni ›5 versiooni 5 aasta jooksul · umbes 1,1 aastas
| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 2025.08.3Uusim | 9. aprill 2026 | — | 64-bitine EXE (NSIS) |
| 2025.08.2 | 19. veebruar 2026 | — | 64-bitine EXE (NSIS) |
| 2025.1.0 | 17. veebruar 2025 | — | 64-bitine EXE (NSIS) |
| 8.14.1 | 28. jaanuar 2022 | — | Kõik protsessorid EXE (NSIS) |
| 8.13.2 | 21. september 2021 | — | Kõik protsessorid EXE (NSIS) |
Paigaldamine käsurealt
Vaikne paigaldus ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SSeotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Väljaandja
- The Coq Team
- Litsents
- CC0-1.0
- Hind
- Tasuta
- Lähtekood
- github.com/rocq-prover/platform
- Programmeerimiskeel
- Shell
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- EXE (NSIS)
- Versioon
- 2025.08.3
- Avaldatud
- 9. aprill 2026
- Lisatud kataloogi
- 21. september 2021
- Versioone kataloogis
- 5
- Uuendusi aastas
- 1,1
- GitHubi tähed
- 247
- GitHubi harud (forks)
- 56
- Veebileht
- github.com
- winget ID
- Coq.CoqPlatform
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Korduma kippuvad küsimused
Kas Coq on tasuta?
Jah. Coq on avatud lähtekoodiga tarkvara (litsents CC0-1.0).
Kas programmi Coq allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com, mis kuulub väljaandjale; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kuidas paigaldada programmi Coq wingetiga?
Ava PowerShell või Windows Terminal ja käivita sellel lehel näidatud winget-käsk. winget laadib alla ametliku paigaldusfaili ja kontrollib enne käivitamist selle SHA256-räsi.
Kas programmi Coq saab paigaldada vaikselt?
Jah. Vaikse paigalduse lehel on iga paigaldaja jaoks täpne käsk.
Kas Coq töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kust saab alla laadida programmi Coq vanema versiooni?
Versioonide lehel on kõik 5 versiooni koos linkidega ametlikele paigaldusfailidele; vanim neist on avaldatud 21. september 2021.