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.
Beschrijving van de uitgever (Engels)
Wat is Coq?
Coq is een opensource Windows-programma van The Coq Team. Programmeertaal: Shell.
Installatie en systeemeisen
Er zijn officiële installatiebestanden voor 64-bits in de vorm van EXE (NSIS). Voor de installatie zijn beheerdersrechten nodig. De installer ondersteunt een onbeheerde (stille) installatie.
Updates en versiegeschiedenis
De huidige versie is 2025.08.3, uitgebracht op 9 april 2026. Er staan 5 versies in de lijst sinds 21 september 2021, elk met links naar de eigen installatiebestanden. Dat komt neer op ongeveer 1,1 releases per jaar.
Populariteit en bestandstypen
De broncode op GitHub (rocq-prover/platform) heeft 247 sterren.
Projectbeschrijving op GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Gedocumenteerde stille installatie
Nadelen
- Geen native ARM64-versie
- Installatie vereist beheerdersrechten
Kort gezegd: Coq is een opensource tool voor Windows voor pc’s met 64-bits. Beheerders kunnen het onbeheerd uitrollen.
Is Coq veilig om te downloaden?
- Het bestand komt van github.com, een domein van de uitgever zelf
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Open het VirusTotal-rapport voor deze hash - De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 5 versies ›5 versies in 5 jaar · ongeveer 1,1 per jaar
| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 2025.08.3Nieuwste | 9 april 2026 | — | 64-bits EXE (NSIS) |
| 2025.08.2 | 19 februari 2026 | — | 64-bits EXE (NSIS) |
| 2025.1.0 | 17 februari 2025 | — | 64-bits EXE (NSIS) |
| 8.14.1 | 28 januari 2022 | — | Elke processor EXE (NSIS) |
| 8.13.2 | 21 september 2021 | — | Elke processor EXE (NSIS) |
Installeren via de opdrachtregel
Stille installatie ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Informatie
- Uitgever
- The Coq Team
- Licentie
- CC0-1.0
- Prijs
- Gratis
- Broncode
- github.com/rocq-prover/platform
- Programmeertaal
- Shell
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits
- Installer
- EXE (NSIS)
- Versie
- 2025.08.3
- Uitgebracht
- 9 april 2026
- Toegevoegd aan de catalogus
- 21 september 2021
- Versies in de lijst
- 5
- Updates per jaar
- 1,1
- GitHub-sterren
- 247
- GitHub-forks
- 56
- Website
- github.com
- winget-ID
- Coq.CoqPlatform
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Veelgestelde vragen
Is Coq gratis?
Ja. Coq is opensourcesoftware onder de licentie CC0-1.0.
Is Coq veilig om te downloaden?
Het bestand komt van github.com, een domein van de uitgever zelf; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Hoe wordt Coq met winget geïnstalleerd?
Open PowerShell of Windows Terminal en voer het winget-commando van deze pagina uit. winget downloadt de officiële installer en controleert de SHA256-hash voordat die wordt gestart.
Kan Coq stil (silent) worden geïnstalleerd?
Ja. De pagina over stille installatie geeft per installer het exacte commando.
Werkt Coq op ARM (Windows on Arm)?
Er is geen ARM64-versie; Windows 11 on Arm kan de versie voor 64-bits via emulatie draaien.
Waar is een oudere versie van Coq te downloaden?
De versiepagina toont alle 5 versies sinds 21 september 2021, met links naar de officiële installatiebestanden.