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.
Beskrywing deur die uitgewer (Engels)
Wat is Coq Beta?
Coq Beta is ’n oopbronprogram vir Windows, uitgegee deur Coq. Programmeertaal: Shell.
Installasie en vereistes
Daar is amptelike installeerders vir 64-bis in die vorm van EXE (NSIS). Die installasie vra administrateurregte. Die installeerder ondersteun onbewaakte (stil) installasie.
Bywerkings en weergawegeskiedenis
Die nuutste weergawe is 2025.08.3, vrygestel op 19 Maart 2026. 3 weergawes is gelys sedert 14 November 2021, elk met skakels na sy eie installeerlêers. Dit kom neer op sowat 0,7 vrystellings per jaar.
Gewildheid en lêertipes
Die bronkode op GitHub (rocq-prover/platform) het 247 sterre.
Projekbeskrywing op GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Gedokumenteerde stil installasie
Nadele
- Geen inheemse ARM64-weergawe nie
- Installasie vereis administrateurregte
Kortliks: Coq Beta is ’n oopbronprogram vir 64-bis rekenaars. Administrateurs kan dit onbewaak ontplooi.
Is dit veilig om Coq Beta af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 3 weergawes ›3 weergawes oor 4 jaar · sowat 0,7 per jaar
| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 2025.08.3Nuutste | 19 Maart 2026 | — | 64-bis EXE (NSIS) |
| 2025.1.0 | 10 Februarie 2025 | — | 64-bis EXE (NSIS) |
| 8.14.0 | 14 November 2021 | — | Enige verwerker EXE (NSIS) |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SVerwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Uitgewer
- Coq
- Lisensie
- CC0-1.0
- Prys
- Gratis
- Bronkode
- github.com/rocq-prover/platform
- Geskryf in
- Shell
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- EXE (NSIS)
- Weergawe
- 2025.08.3
- Vrygestel
- 19 Maart 2026
- By die katalogus gevoeg
- 14 November 2021
- Weergawes gelys
- 3
- Bywerkings / jaar
- 0,7
- GitHub-sterre
- 247
- GitHub-vurke
- 56
- Webwerf
- github.com
- winget-ID
- Coq.CoqPlatform.Beta
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Algemene vrae
Is Coq Beta gratis?
Ja. Coq Beta is oopbronsagteware onder die CC0-1.0-lisensie.
Is dit veilig om Coq Beta af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Hoe installeer ek Coq Beta met winget?
Maak PowerShell of Windows Terminal oop en voer die winget-opdrag op hierdie bladsy uit. winget laai die amptelike installeerder af en gaan die SHA256-hashwaarde na voordat dit uitgevoer word.
Kan Coq Beta stil geïnstalleer word?
Ja. Die bladsy oor stil installasie gee die presiese opdrag vir elke installeerder.
Werk Coq Beta op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Waar kan ek ’n ouer weergawe van Coq Beta aflaai?
Die weergawebladsy lys al 3 weergawes met skakels na hul amptelike installeerlêers, terug tot 14 November 2021.