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?
Coq is ’n oopbronprogram vir Windows, uitgegee deur The Coq Team. 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 09 April 2026. 5 weergawes is gelys sedert 21 September 2021, elk met skakels na sy eie installeerlêers. Dit kom neer op sowat 1,1 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 is ’n oopbronprogram vir 64-bis rekenaars. Administrateurs kan dit onbewaak ontplooi.
Is dit veilig om Coq 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:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 5 weergawes ›5 weergawes oor 5 jaar · sowat 1,1 per jaar
| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 2025.08.3Nuutste | 09 April 2026 | — | 64-bis EXE (NSIS) |
| 2025.08.2 | 19 Februarie 2026 | — | 64-bis EXE (NSIS) |
| 2025.1.0 | 17 Februarie 2025 | — | 64-bis EXE (NSIS) |
| 8.14.1 | 28 Januarie 2022 | — | Enige verwerker EXE (NSIS) |
| 8.13.2 | 21 September 2021 | — | Enige verwerker EXE (NSIS) |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SVerwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Uitgewer
- The Coq Team
- 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
- 09 April 2026
- By die katalogus gevoeg
- 21 September 2021
- Weergawes gelys
- 5
- Bywerkings / jaar
- 1,1
- GitHub-sterre
- 247
- GitHub-vurke
- 56
- Webwerf
- github.com
- winget-ID
- Coq.CoqPlatform
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Algemene vrae
Is Coq gratis?
Ja. Coq is oopbronsagteware onder die CC0-1.0-lisensie.
Is dit veilig om Coq 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 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 stil geïnstalleer word?
Ja. Die bladsy oor stil installasie gee die presiese opdrag vir elke installeerder.
Werk Coq 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 aflaai?
Die weergawebladsy lys al 5 weergawes met skakels na hul amptelike installeerlêers, terug tot 21 September 2021.