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.
Leidėjo aprašymas (anglų)
Kas yra Coq Beta?
Coq Beta – atvirojo kodo programa, skirta Windows. Leidėjas – Coq. Programavimo kalba: Shell.
Diegimas ir sistemos reikalavimai
Oficialūs diegimo failai yra skirti 64 bitų sistemoms, formatai: EXE (NSIS). Diegiant reikia administratoriaus teisių. Diegimo failas palaiko tylųjį diegimą be naudotojo įsikišimo.
Atnaujinimai ir versijų istorija
Naujausia versija – 2025.08.3, išleista 2026 m. kovo 19 d. Kataloge – 3 versijos nuo 2021 m. lapkričio 14 d., prie kiekvienos – nuorodos į jos diegimo failus. Laidų dažnis: maždaug 0,7 per metus.
Populiarumas ir failų tipai
Pirminis kodas „GitHub“ (rocq-prover/platform) turi 247 žvaigždutes.
Projekto aprašymas „GitHub“: “Multi platform setup for Rocq, Rocq libraries and tools”
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Dokumentuotas tylusis diegimas
Trūkumai
- Nėra natūralios ARM64 versijos
- Diegiant reikia administratoriaus teisių
Trumpai: Coq Beta – atvirojo kodo programa, skirta Windows, prieinama 64 bitų sistemoms. Administratoriai gali ją diegti be naudotojo įsikišimo.
Ar saugu atsisiųsti programą Coq Beta?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (3) ›3 versijos per 4 metus · apie 0,7 per metus
| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 2025.08.3Naujausia | 2026 m. kovo 19 d. | — | 64 bitų EXE (NSIS) |
| 2025.1.0 | 2025 m. vasario 10 d. | — | 64 bitų EXE (NSIS) |
| 8.14.0 | 2021 m. lapkričio 14 d. | — | Bet koks procesorius EXE (NSIS) |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SSusijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Informacija
- Leidėjas
- Coq
- Licencija
- CC0-1.0
- Kaina
- Nemokama
- Pirminis kodas
- github.com/rocq-prover/platform
- Programavimo kalba
- Shell
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- EXE (NSIS)
- Versija
- 2025.08.3
- Išleista
- 2026 m. kovo 19 d.
- Įtraukta į katalogą
- 2021 m. lapkričio 14 d.
- Versijų skaičius
- 3
- Atnaujinimų per metus
- 0,7
- Žvaigždutės „GitHub“
- 247
- Atšakos „GitHub“
- 56
- Svetainė
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Dažniausi klausimai
Ar programa Coq Beta nemokama?
Taip. Coq Beta – atvirojo kodo programa (licencija CC0-1.0), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą Coq Beta?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Kaip įdiegti Coq Beta su winget?
Atidarykite PowerShell arba Windows Terminal ir paleiskite šiame puslapyje pateiktą winget komandą. winget atsisiunčia oficialų diegimo failą ir prieš paleisdamas patikrina jo SHA256 maišos reikšmę.
Ar Coq Beta galima įdiegti tyliai?
Taip. Tyliojo diegimo puslapyje pateikta tiksli komanda kiekvienam diegimo failui.
Ar Coq Beta veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Kur atsisiųsti senesnes programos Coq Beta versijas?
Versijų puslapyje pateiktos nuorodos į visų versijų (3) oficialius diegimo failus, pradedant 2021 m. lapkričio 14 d.