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 Beta?
Coq Beta je program pre Windows s otvoreným zdrojovým kódom. Výrobca: Coq. 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á 19. marca 2026. Katalóg uvádza 3 verzie od 14. novembra 2021; každá má odkazy na vlastné inštalačné súbory. To je zhruba 0,7 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 Beta 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 Beta 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ť:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 verzie za 4 roky · približne 0,7 ročne
| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 2025.08.3Najnovšia | 19. marca 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10. februára 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14. novembra 2021 | — | Ľubovoľná architektúra EXE (NSIS) |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SSúvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Výrobca
- Coq
- 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
- 19. marca 2026
- Pridané do katalógu
- 14. novembra 2021
- Verzií v katalógu
- 3
- Aktualizácií za rok
- 0,7
- Hviezdičky na GitHube
- 247
- Forky na GitHube
- 56
- Web
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Časté otázky
Je program Coq Beta zadarmo?
Áno. Coq Beta je program s otvoreným zdrojovým kódom (licencia CC0-1.0); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu Coq Beta 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 Beta 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 Beta 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 Beta 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 Beta?
Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (3) od 14. novembra 2021.