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 Beta?
Forritið Coq Beta er opinn hugbúnaður fyrir Windows. Útgefandi: Coq. 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 19. mars 2026. 3 útgáfur eru skráðar frá 14. nóvember 2021, hver með tenglum á eigin uppsetningarskrár. Það gerir um 0,7 ú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 Beta er opinn hugbúnaður fyrir Windows (64 bita). Kerfisstjórar geta dreift því án inngrips.
Er óhætt að sækja forritið Coq Beta?
- 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 útgáfurnar ›3 útgáfur á 4 árum · um 0,7 á ári
| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 2025.08.3Nýjast | 19. mars 2026 | — | 64 bita EXE (NSIS) |
| 2025.1.0 | 10. febrúar 2025 | — | 64 bita EXE (NSIS) |
| 8.14.0 | 14. nóvember 2021 | — | Hvaða örgjörvi sem er EXE (NSIS) |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /STengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Útgefandi
- Coq
- 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
- 19. mars 2026
- Bætt í skrána
- 14. nóvember 2021
- Skráðar útgáfur
- 3
- Uppfærslur / ár
- 0,7
- Stjörnur á GitHub
- 247
- Kvíslar á GitHub
- 56
- Vefsíða
- github.com
- winget-auðkenni
- Coq.CoqPlatform.Beta
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Algengar spurningar
Er Coq Beta ókeypis?
Já. Forritið Coq Beta er opinn hugbúnaður með leyfinu CC0-1.0.
Er óhætt að sækja forritið Coq Beta?
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 Beta 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 Beta upp hljóðlaust?
Já. Síðan um hljóðláta uppsetningu sýnir nákvæma skipun fyrir hvert uppsetningarforrit.
Keyrir Coq Beta á 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 Beta?
Útgáfusíðan sýnir allar 3 útgáfurnar með tenglum á opinberar uppsetningarskrár þeirra, aftur til 14. nóvember 2021.