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ýrobce (angličtina)
Co je Coq?
Coq je program pro Windows s otevřeným zdrojovým kódem. Výrobce: The Coq Team. Programovací jazyk: Shell.
Instalace a systémové požadavky
Oficiální instalátory jsou k dispozici pro 64bit; typ instalátoru: EXE (NSIS). Instalace vyžaduje oprávnění správce. Instalátor podporuje bezobslužnou (tichou) instalaci.
Aktualizace a historie verzí
Aktuální verze je 2025.08.3, vydaná 9. dubna 2026. Katalog uvádí 5 verzí od 21. září 2021; každá má odkazy na vlastní instalační soubory. To je zhruba 1,1 vydání ročně.
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (rocq-prover/platform) má 247 hvězd.
Popis projektu na GitHubu: “Multi platform setup for Rocq, Rocq libraries and tools”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Zdokumentovaná tichá instalace
Nevýhody
- Chybí nativní sestavení ARM64
- Instalace vyžaduje oprávnění správce
Ve zkratce: Coq je program pro Windows s otevřeným zdrojovým kódem; sestavení: 64bit. Správci ho mohou nasadit bezobslužně.
Je stažení programu Coq bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (5) ›5 verzí za 5 let · přibližně 1,1 ročně
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 2025.08.3Nejnovější | 9. dubna 2026 | — | 64bit EXE (NSIS) |
| 2025.08.2 | 19. února 2026 | — | 64bit EXE (NSIS) |
| 2025.1.0 | 17. února 2025 | — | 64bit EXE (NSIS) |
| 8.14.1 | 28. ledna 2022 | — | Libovolná architektura EXE (NSIS) |
| 8.13.2 | 21. září 2021 | — | Libovolná architektura EXE (NSIS) |
Instalace z příkazového řádku
Tichá instalace ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SSouvisející návod: Jak používat winget: instalace a aktualizace programů
Informace
- Výrobce
- The Coq Team
- Licence
- CC0-1.0
- Cena
- Zdarma
- Zdrojový kód
- github.com/rocq-prover/platform
- Programovací jazyk
- Shell
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- EXE (NSIS)
- Verze
- 2025.08.3
- Datum vydání
- 9. dubna 2026
- Přidáno do katalogu
- 21. září 2021
- Verzí v katalogu
- 5
- Aktualizací za rok
- 1,1
- Hvězdy na GitHubu
- 247
- Forky na GitHubu
- 56
- Web
- github.com
- ID winget
- Coq.CoqPlatform
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Časté otázky
Je program Coq zdarma?
Ano. Coq je program s otevřeným zdrojovým kódem (licence CC0-1.0); stažení i používání je zdarma.
Je stažení programu Coq bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat Coq přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Lze Coq nainstalovat v tichém režimu?
Ano. Stránka tiché instalace uvádí přesný příkaz pro každý instalátor.
Funguje Coq na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Kde stáhnout starší verze programu Coq?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (5) od 21. září 2021.