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.
Popis od výrobcu (angličtina)
Čo je Coq?
Coq je program pre Windows s otvoreným zdrojovým kódom. Výrobca: The Coq Team. Programovací jazyk: Shell.
Inštalácia a systémové požiadavky
Oficiálne inštalátory sú k dispozícii pre 64-bit; typ inštalátora: EXE (NSIS). Inštalácia vyžaduje oprávnenia správcu. Inštalátor podporuje bezobslužnú (tichú) inštaláciu.
Aktualizácie a história verzií
Najnovšia verzia je 2025.08.3, vydaná 9. apríla 2026. Katalóg uvádza 5 verzií od 21. septembra 2021; každá má odkazy na vlastné inštalačné súbory. To je zhruba 1,1 vydaní ročne.
Obľúbenosť a typy súborov
Zdrojový kód na GitHube (rocq-prover/platform) má 247 hviezdičiek.
Popis projektu na GitHube: “Multi platform setup for Rocq, Rocq libraries and tools”
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Zdokumentovaná tichá inštalácia
Nevýhody
- Chýba natívne zostavenie ARM64
- Inštalácia vyžaduje oprávnenia správcu
V skratke: Coq je program pre Windows s otvoreným zdrojovým kódom; zostavenia: 64-bit. Správcovia ho môžu nasadiť bezobslužne.
Je stiahnutie programu Coq bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (5) ›5 verzií za 5 rokov · približne 1,1 ročne
| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 2025.08.3Najnovšia | 9. apríla 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19. februára 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17. februára 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28. januára 2022 | — | Ľubovoľná architektúra EXE (NSIS) |
| 8.13.2 | 21. septembra 2021 | — | Ľubovoľná architektúra EXE (NSIS) |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SSúvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Výrobca
- The Coq Team
- Licencia
- CC0-1.0
- Cena
- Zadarmo
- Zdrojový kód
- github.com/rocq-prover/platform
- Programovací jazyk
- Shell
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- EXE (NSIS)
- Verzia
- 2025.08.3
- Dátum vydania
- 9. apríla 2026
- Pridané do katalógu
- 21. septembra 2021
- Verzií v katalógu
- 5
- Aktualizácií za rok
- 1,1
- Hviezdičky na GitHube
- 247
- Forky na GitHube
- 56
- Web
- github.com
- ID winget
- Coq.CoqPlatform
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Časté otázky
Je program Coq zadarmo?
Áno. Coq je program s otvoreným zdrojovým kódom (licencia CC0-1.0); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu Coq bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Ako nainštalovať Coq cez winget?
Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.
Dá sa Coq nainštalovať v tichom režime?
Áno. Stránka tichej inštalácie uvádza presný príkaz pre každý inštalátor.
Funguje Coq na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Kde stiahnuť staršie verzie programu Coq?
Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (5) od 21. septembra 2021.