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 Beta?
Coq Beta je program za Windows otvorenog koda. Izdavač je Coq. 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 19. mart 2026. U katalogu su 3 verzije od 14. novembar 2021., svaka sa linkovima ka sopstvenim instalacionim fajlovima. To je oko 0,7 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 Beta 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 Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 verzije za 4 godine · oko 0,7 godišnje
| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 2025.08.3Najnovija | 19. mart 2026. | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10. februar 2025. | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14. novembar 2021. | — | Bilo koji procesor EXE (NSIS) |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SPovezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- Coq
- 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
- 19. mart 2026.
- Dodato u katalog
- 14. novembar 2021.
- Broj verzija
- 3
- Ažuriranja godišnje
- 0,7
- Zvezdice na GitHubu
- 247
- Forkovi na GitHubu
- 56
- Veb-sajt
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Česta pitanja
Da li je program Coq Beta besplatan?
Da. Coq Beta je program otvorenog koda (licenca CC0-1.0) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa Coq Beta 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 Beta 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 Beta instalirati tiho?
Da. Na stranici o tihoj instalaciji navedena je tačna komanda za svaki instalacioni fajl.
Da li Coq Beta 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 Beta?
Na stranici sa verzijama nalaze se linkovi ka zvaničnim instalacionim fajlovima svih verzija (3), počev od 14. novembar 2021.