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 Beta?
Coq Beta je odprtokoden program za Windows. Izdajatelj je Coq. 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 19. marec 2026. Katalog navaja 3 različice od 14. november 2021, vsako s povezavami do lastnih namestitvenih datotek. Pogostost izdaj: približno 0,7 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 Beta je odprtokoden program za Windows, na voljo za 64-bitno. Skrbniki ga lahko uvajajo brez sodelovanja uporabnika.
Je prenos programa Coq Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 različice v 4 letih · približno 0,7 na leto
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 2025.08.3Najnovejša | 19. marec 2026 | — | 64-bitno EXE (NSIS) |
| 2025.1.0 | 10. februar 2025 | — | 64-bitno EXE (NSIS) |
| 8.14.0 | 14. november 2021 | — | Kateri koli procesor EXE (NSIS) |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SPovezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Izdajatelj
- Coq
- 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
- 19. marec 2026
- Dodano v katalog
- 14. november 2021
- Število različic
- 3
- Posodobitev na leto
- 0,7
- Zvezdice na GitHubu
- 247
- Razcepi na GitHubu
- 56
- Spletna stran
- github.com
- ID winget
- Coq.CoqPlatform.Beta
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Pogosta vprašanja
Je program Coq Beta brezplačen?
Da. Coq Beta je odprtokoden program (licenca CC0-1.0), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa Coq Beta 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 Beta 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 Beta mogoče namestiti tiho?
Da. Na strani o tihi namestitvi je natančen ukaz za vsako namestitveno datoteko.
Ali Coq Beta 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 Beta?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (3), od 14. november 2021 naprej.