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 Beta?
Coq Beta je program pro Windows s otevřeným zdrojovým kódem. Výrobce: Coq. 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á 19. března 2026. Katalog uvádí 3 verze od 14. listopadu 2021; každá má odkazy na vlastní instalační soubory. To je zhruba 0,7 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 Beta 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 Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 verze za 4 roky · přibližně 0,7 ročně
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 2025.08.3Nejnovější | 19. března 2026 | — | 64bit EXE (NSIS) |
| 2025.1.0 | 10. února 2025 | — | 64bit EXE (NSIS) |
| 8.14.0 | 14. listopadu 2021 | — | Libovolná architektura EXE (NSIS) |
Instalace z příkazového řádku
Tichá instalace ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SSouvisející návod: Jak používat winget: instalace a aktualizace programů
Informace
- Výrobce
- Coq
- 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í
- 19. března 2026
- Přidáno do katalogu
- 14. listopadu 2021
- Verzí v katalogu
- 3
- Aktualizací za rok
- 0,7
- Hvězdy na GitHubu
- 247
- Forky na GitHubu
- 56
- Web
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Časté otázky
Je program Coq Beta zdarma?
Ano. Coq Beta 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 Beta 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 Beta 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 Beta nainstalovat v tichém režimu?
Ano. Stránka tiché instalace uvádí přesný příkaz pro každý instalátor.
Funguje Coq Beta 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 Beta?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (3) od 14. listopadu 2021.