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 producenta (angielski)
Czym jest Coq Beta?
Coq Beta to program na Windows o otwartym kodzie źródłowym. Producent: Coq. Język programowania: Shell.
Instalacja i wymagania
Oficjalne instalatory są dostępne dla architektur: 64-bit; typ instalatora: EXE (NSIS). Instalacja wymaga uprawnień administratora. Instalator obsługuje instalację nienadzorowaną (cichą).
Aktualizacje i historia wersji
Bieżąca wersja to 2025.08.3, wydana 19 marca 2026. Lista obejmuje 3 wersje (od 14 listopada 2021); każda z nich prowadzi do własnych plików instalacyjnych. Tempo wydań: ok. 0,7 rocznie.
Popularność i typy plików
Kod źródłowy na GitHubie (rocq-prover/platform) ma 247 gwiazdek.
Opis projektu na GitHubie: “Multi platform setup for Rocq, Rocq libraries and tools”
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Udokumentowana cicha instalacja
Wady
- Brak natywnej wersji ARM64
- Instalacja wymaga uprawnień administratora
W skrócie: Coq Beta to program na Windows o otwartym kodzie źródłowym; wersje: 64-bit. Administratorzy mogą go wdrażać bez udziału użytkownika.
Czy pobieranie programu Coq Beta jest bezpieczne?
- Plik jest pobierany z domeny producenta (github.com)
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Otwórz raport VirusTotal dla tej sumy - Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Najnowsze wersje
Wszystkie wersje (3) ›3 wersje w ciągu 4 lat · ok. 0,7 rocznie
| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 2025.08.3Najnowsza | 19 marca 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10 lutego 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14 listopada 2021 | — | Dowolny procesor EXE (NSIS) |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SPowiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Producent
- Coq
- Licencja
- CC0-1.0
- Cena
- Za darmo
- Kod źródłowy
- github.com/rocq-prover/platform
- Język programowania
- Shell
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- EXE (NSIS)
- Wersja
- 2025.08.3
- Data wydania
- 19 marca 2026
- Dodano do katalogu
- 14 listopada 2021
- Wersje w katalogu
- 3
- Aktualizacje / rok
- 0,7
- Gwiazdki GitHub
- 247
- Forki na GitHubie
- 56
- Strona WWW
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Najczęstsze pytania
Czy program Coq Beta jest darmowy?
Tak. Coq Beta to oprogramowanie open source na licencji CC0-1.0; można je pobrać i używać za darmo.
Czy pobieranie programu Coq Beta jest bezpieczne?
Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Jak zainstalować program Coq Beta przez winget?
Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.
Czy program Coq Beta obsługuje cichą instalację?
Tak. Na stronie cichej instalacji podano dokładne polecenie dla każdego instalatora.
Czy Coq Beta działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Gdzie pobrać starsze wersje programu Coq Beta?
Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (3), aż do 14 listopada 2021.