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?
Coq – atvirojo kodo programa, skirta Windows. Leidėjas – The Coq Team. 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. balandžio 9 d. Kataloge – 5 versijos nuo 2021 m. rugsėjo 21 d., prie kiekvienos – nuorodos į jos diegimo failus. Laidų dažnis: maždaug 1,1 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 – atvirojo kodo programa, skirta Windows, prieinama 64 bitų sistemoms. Administratoriai gali ją diegti be naudotojo įsikišimo.
Ar saugu atsisiųsti programą Coq?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 (5) ›5 versijos per 5 metus · apie 1,1 per metus
| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 2025.08.3Naujausia | 2026 m. balandžio 9 d. | — | 64 bitų EXE (NSIS) |
| 2025.08.2 | 2026 m. vasario 19 d. | — | 64 bitų EXE (NSIS) |
| 2025.1.0 | 2025 m. vasario 17 d. | — | 64 bitų EXE (NSIS) |
| 8.14.1 | 2022 m. sausio 28 d. | — | Bet koks procesorius EXE (NSIS) |
| 8.13.2 | 2021 m. rugsėjo 21 d. | — | Bet koks procesorius EXE (NSIS) |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SSusijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Informacija
- Leidėjas
- The Coq Team
- 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. balandžio 9 d.
- Įtraukta į katalogą
- 2021 m. rugsėjo 21 d.
- Versijų skaičius
- 5
- Atnaujinimų per metus
- 1,1
- Žvaigždutės „GitHub“
- 247
- Atšakos „GitHub“
- 56
- Svetainė
- github.com
- winget ID
- Coq.CoqPlatform
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Dažniausi klausimai
Ar programa Coq nemokama?
Taip. Coq – atvirojo kodo programa (licencija CC0-1.0), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą Coq?
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 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 galima įdiegti tyliai?
Taip. Tyliojo diegimo puslapyje pateikta tiksli komanda kiekvienam diegimo failui.
Ar Coq 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 versijas?
Versijų puslapyje pateiktos nuorodos į visų versijų (5) oficialius diegimo failus, pradedant 2021 m. rugsėjo 21 d.