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.
Lýsing útgefanda (enska)
Hvað er Coq?
Forritið Coq er opinn hugbúnaður fyrir Windows. Útgefandi: The Coq Team. Forritunarmál: Shell.
Uppsetning og kröfur
Opinber uppsetningarforrit eru til fyrir 64 bita á sniðinu EXE (NSIS). Uppsetningin krefst stjórnandaréttinda. Uppsetningarforritið styður uppsetningu án inngrips (hljóðláta uppsetningu).
Uppfærslur og útgáfusaga
Nýjasta útgáfan er 2025.08.3, gefin út 9. apríl 2026. 5 útgáfur eru skráðar frá 21. september 2021, hver með tenglum á eigin uppsetningarskrár. Það gerir um 1,1 útgáfur á ári.
Vinsældir og skráargerðir
Grunnkóðinn á GitHub (rocq-prover/platform) hefur fengið 247 stjörnur.
Lýsing verkefnisins á GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Skjalfest hljóðlát uppsetning
Gallar
- Engin sérstök ARM64-útgáfa
- Uppsetning krefst stjórnandaréttinda
Í stuttu máli: Forritið Coq er opinn hugbúnaður fyrir Windows (64 bita). Kerfisstjórar geta dreift því án inngrips.
Er óhætt að sækja forritið Coq?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 5 útgáfurnar ›5 útgáfur á 5 árum · um 1,1 á ári
| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 2025.08.3Nýjast | 9. apríl 2026 | — | 64 bita EXE (NSIS) |
| 2025.08.2 | 19. febrúar 2026 | — | 64 bita EXE (NSIS) |
| 2025.1.0 | 17. febrúar 2025 | — | 64 bita EXE (NSIS) |
| 8.14.1 | 28. janúar 2022 | — | Hvaða örgjörvi sem er EXE (NSIS) |
| 8.13.2 | 21. september 2021 | — | Hvaða örgjörvi sem er EXE (NSIS) |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /STengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Útgefandi
- The Coq Team
- Leyfi
- CC0-1.0
- Verð
- Ókeypis
- Grunnkóði
- github.com/rocq-prover/platform
- Forritunarmál
- Shell
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- EXE (NSIS)
- Útgáfa
- 2025.08.3
- Gefið út
- 9. apríl 2026
- Bætt í skrána
- 21. september 2021
- Skráðar útgáfur
- 5
- Uppfærslur / ár
- 1,1
- Stjörnur á GitHub
- 247
- Kvíslar á GitHub
- 56
- Vefsíða
- github.com
- winget-auðkenni
- Coq.CoqPlatform
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Algengar spurningar
Er Coq ókeypis?
Já. Forritið Coq er opinn hugbúnaður með leyfinu CC0-1.0.
Er óhætt að sækja forritið Coq?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Hvernig er Coq sett upp með winget?
Opnið PowerShell eða Windows Terminal og keyrið winget-skipunina á þessari síðu. winget sækir opinbera uppsetningarforritið og athugar SHA256-gildi þess áður en það er keyrt.
Er hægt að setja Coq upp hljóðlaust?
Já. Síðan um hljóðláta uppsetningu sýnir nákvæma skipun fyrir hvert uppsetningarforrit.
Keyrir Coq á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Hvar er hægt að sækja eldri útgáfu af forritinu Coq?
Útgáfusíðan sýnir allar 5 útgáfurnar með tenglum á opinberar uppsetningarskrár þeirra, aftur til 21. september 2021.