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)
Što je Coq?
Coq je program otvorenog koda za Windows. Izdavač je The Coq Team. Programski jezik: Shell.
Instalacija i zahtjevi sustava
Službene instalacijske datoteke postoje za 64-bitno, u obliku EXE (NSIS). Za instalaciju su potrebna administratorska prava. Instalacijska datoteka podržava tihu instalaciju bez sudjelovanja korisnika.
Ažuriranja i povijest verzija
Najnovija verzija je 2025.08.3, objavljena 9. travnja 2026. Katalog navodi 5 verzija od 21. rujna 2021., svaku s poveznicama na vlastite instalacijske datoteke. Učestalost izdanja: oko 1,1 godišnje.
Popularnost i vrste datoteka
Izvorni kod na GitHubu (rocq-prover/platform) ima 247 zvjezdica.
Opis projekta na GitHubu: “Multi platform setup for Rocq, Rocq libraries and tools”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Dokumentirana tiha instalacija
Nedostaci
- Nema izvorne verzije ARM64
- Za instalaciju su potrebna administratorska prava
Ukratko: Coq je program otvorenog koda za Windows, dostupan za 64-bitno. Administratori ga mogu distribuirati bez sudjelovanja korisnika.
Je li preuzimanje programa Coq sigurno?
- Datoteka se preuzima s domene izdavača (github.com)
- Poveznica za preuzimanje koristi HTTPS
- Objavljen je hash SHA256, pa se datoteka može provjeriti:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Otvori izvješće VirusTotala za ovaj hash - Poveznica još nije provjerena
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Najnovije verzije
Sve verzije (5) ›5 verzija za 5 godina · oko 1,1 godišnje
| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 2025.08.3Najnovija | 9. travnja 2026. | — | 64-bitno EXE (NSIS) |
| 2025.08.2 | 19. veljače 2026. | — | 64-bitno EXE (NSIS) |
| 2025.1.0 | 17. veljače 2025. | — | 64-bitno EXE (NSIS) |
| 8.14.1 | 28. siječnja 2022. | — | Bilo koji procesor EXE (NSIS) |
| 8.13.2 | 21. rujna 2021. | — | Bilo koji procesor EXE (NSIS) |
Instalacija iz naredbenog retka
Tiha instalacija ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPovezani vodič: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- The Coq Team
- Licenca
- CC0-1.0
- Cijena
- Besplatno
- Izvorni kod
- github.com/rocq-prover/platform
- Programski jezik
- Shell
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Instalacijska datoteka
- EXE (NSIS)
- Verzija
- 2025.08.3
- Objavljeno
- 9. travnja 2026.
- Dodano u katalog
- 21. rujna 2021.
- Broj verzija
- 5
- Ažuriranja godišnje
- 1,1
- Zvjezdice na GitHubu
- 247
- Forkovi na GitHubu
- 56
- Web-stranica
- github.com
- ID za winget
- Coq.CoqPlatform
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Česta pitanja
Je li program Coq besplatan?
Da. Coq je program otvorenog koda (licenca CC0-1.0) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa Coq sigurno?
Datoteka se preuzima s domene github.com, koja pripada izdavaču; ExeAtlas datoteku ne pohranjuje i ne mijenja. Hash SHA256 preuzete datoteke usporedite s onim na ovoj stranici ili otvorite izvješće VirusTotala za taj hash.
Kako instalirati Coq pomoću wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite naredbu winget s ove stranice. winget preuzima službenu instalacijsku datoteku i prije pokretanja provjerava njezin hash SHA256.
Može li se Coq instalirati tiho?
Da. Na stranici o tihoj instalaciji nalazi se točna naredba za svaku instalacijsku datoteku.
Radi li Coq na procesorima ARM (Windows on Arm)?
Verzija ARM64 ne postoji; Windows 11 on Arm može verziju 64-bitno pokrenuti emulacijom.
Gdje preuzeti starije verzije programa Coq?
Na stranici s verzijama nalaze se poveznice na službene instalacijske datoteke svih verzija (5), od 21. rujna 2021. nadalje.