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?
Coq to program na Windows o otwartym kodzie źródłowym. Producent: The Coq Team. 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 9 kwietnia 2026. Lista obejmuje 5 wersji (od 21 września 2021); każda z nich prowadzi do własnych plików instalacyjnych. Tempo wydań: ok. 1,1 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 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 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ć:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 (5) ›5 wersji w ciągu 5 lat · ok. 1,1 rocznie
| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 2025.08.3Najnowsza | 9 kwietnia 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 lutego 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 lutego 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28 stycznia 2022 | — | Dowolny procesor EXE (NSIS) |
| 8.13.2 | 21 września 2021 | — | Dowolny procesor EXE (NSIS) |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPowiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Producent
- The Coq Team
- 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
- 9 kwietnia 2026
- Dodano do katalogu
- 21 września 2021
- Wersje w katalogu
- 5
- Aktualizacje / rok
- 1,1
- Gwiazdki GitHub
- 247
- Forki na GitHubie
- 56
- Strona WWW
- github.com
- ID winget
- Coq.CoqPlatform
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Najczęstsze pytania
Czy program Coq jest darmowy?
Tak. Coq to oprogramowanie open source na licencji CC0-1.0; można je pobrać i używać za darmo.
Czy pobieranie programu Coq 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 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 obsługuje cichą instalację?
Tak. Na stronie cichej instalacji podano dokładne polecenie dla każdego instalatora.
Czy Coq 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?
Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (5), aż do 21 września 2021.