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.
Opis izdavača (engleski)
Šta je Coq?
Coq je program za Windows otvorenog koda. Izdavač je The Coq Team. Programski jezik: Shell.
Instalacija i sistemski zahtevi
Zvanični instalacioni fajlovi postoje za 64-bit, u formatu EXE (NSIS). Za instalaciju su potrebna administratorska prava. Instalacioni fajl podržava tihu instalaciju, bez učešća korisnika.
Ažuriranja i istorija verzija
Najnovija verzija je 2025.08.3, objavljena 9. april 2026. U katalogu je 5 verzija od 21. septembar 2021., svaka sa linkovima ka sopstvenim instalacionim fajlovima. To je oko 1,1 izdanja godišnje.
Popularnost i tipovi fajlova
Izvorni kod na GitHubu (rocq-prover/platform) ima 247 zvezdica.
Opis projekta na GitHubu: “Multi platform setup for Rocq, Rocq libraries and tools”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Dokumentovana tiha instalacija
Nedostaci
- Nema izvorne ARM64 verzije
- Za instalaciju su potrebna administratorska prava
Ukratko: Coq je program za Windows otvorenog koda, dostupan za 64-bit. Administratori ga mogu distribuirati bez učešća korisnika.
Da li je preuzimanje programa Coq bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (5) ›5 verzija za 5 godina · oko 1,1 godišnje
| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 2025.08.3Najnovija | 9. april 2026. | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19. februar 2026. | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17. februar 2025. | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28. januar 2022. | — | Bilo koji procesor EXE (NSIS) |
| 8.13.2 | 21. septembar 2021. | — | Bilo koji procesor EXE (NSIS) |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPovezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- The Coq Team
- Licenca
- CC0-1.0
- Cena
- Besplatno
- Izvorni kod
- github.com/rocq-prover/platform
- Programski jezik
- Shell
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- EXE (NSIS)
- Verzija
- 2025.08.3
- Objavljeno
- 9. april 2026.
- Dodato u katalog
- 21. septembar 2021.
- Broj verzija
- 5
- Ažuriranja godišnje
- 1,1
- Zvezdice na GitHubu
- 247
- Forkovi na GitHubu
- 56
- Veb-sajt
- github.com
- winget ID
- Coq.CoqPlatform
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Česta pitanja
Da li je program Coq besplatan?
Da. Coq je program otvorenog koda (licenca CC0-1.0) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa Coq bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Kako instalirati Coq preko wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite winget komandu sa ove stranice. winget preuzima zvanični instalacioni fajl i pre pokretanja proverava njegov SHA256 heš.
Može li se Coq instalirati tiho?
Da. Na stranici o tihoj instalaciji navedena je tačna komanda za svaki instalacioni fajl.
Da li Coq radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Gde preuzeti starije verzije programa Coq?
Na stranici sa verzijama nalaze se linkovi ka zvaničnim instalacionim fajlovima svih verzija (5), počev od 21. septembar 2021.