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 izdajatelja (angleščina)
Kaj je Coq?
Coq je odprtokoden program za Windows. Izdajatelj je The Coq Team. Programski jezik: Shell.
Namestitev in sistemske zahteve
Uradne namestitvene datoteke so na voljo za 64-bitno, v obliki EXE (NSIS). Za namestitev so potrebne skrbniške pravice. Namestitvena datoteka podpira tiho namestitev brez sodelovanja uporabnika.
Posodobitve in zgodovina različic
Najnovejša različica je 2025.08.3, izdana 9. april 2026. Katalog navaja 5 različic od 21. september 2021, vsako s povezavami do lastnih namestitvenih datotek. Pogostost izdaj: približno 1,1 na leto.
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (rocq-prover/platform) ima 247 zvezdic.
Opis projekta na GitHubu: “Multi platform setup for Rocq, Rocq libraries and tools”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Dokumentirana tiha namestitev
Slabosti
- Ni izvorne različice ARM64
- Za namestitev so potrebne skrbniške pravice
Na kratko: Coq je odprtokoden program za Windows, na voljo za 64-bitno. Skrbniki ga lahko uvajajo brez sodelovanja uporabnika.
Je prenos programa Coq varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (5) ›5 različic v 5 letih · približno 1,1 na leto
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 2025.08.3Najnovejša | 9. april 2026 | — | 64-bitno EXE (NSIS) |
| 2025.08.2 | 19. februar 2026 | — | 64-bitno EXE (NSIS) |
| 2025.1.0 | 17. februar 2025 | — | 64-bitno EXE (NSIS) |
| 8.14.1 | 28. januar 2022 | — | Kateri koli procesor EXE (NSIS) |
| 8.13.2 | 21. september 2021 | — | Kateri koli procesor EXE (NSIS) |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPovezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Izdajatelj
- The Coq Team
- Licenca
- CC0-1.0
- Cena
- Brezplačno
- Izvorna koda
- github.com/rocq-prover/platform
- Programski jezik
- Shell
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- EXE (NSIS)
- Različica
- 2025.08.3
- Izdano
- 9. april 2026
- Dodano v katalog
- 21. september 2021
- Število različic
- 5
- Posodobitev na leto
- 1,1
- Zvezdice na GitHubu
- 247
- Razcepi na GitHubu
- 56
- Spletna stran
- github.com
- ID winget
- Coq.CoqPlatform
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Pogosta vprašanja
Je program Coq brezplačen?
Da. Coq je odprtokoden program (licenca CC0-1.0), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa Coq varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti Coq z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali je Coq mogoče namestiti tiho?
Da. Na strani o tihi namestitvi je natančen ukaz za vsako namestitveno datoteko.
Ali Coq deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Kje prenesti starejše različice programa Coq?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (5), od 21. september 2021 naprej.