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.
Udgiverens beskrivelse (engelsk)
Hvad er Coq?
Coq er et Windows-program med åben kildekode fra The Coq Team. Programmeringssprog: Shell.
Installation og systemkrav
Der findes officielle installationsfiler til 64-bit i formatet EXE (NSIS). Installationen kræver administratorrettigheder. Installationsfilen understøtter uovervåget installation uden spørgsmål (silent install).
Opdateringer og versionshistorik
Den nyeste version er 2025.08.3, udgivet 9. april 2026. Her er 5 versioner siden 21. september 2021, hver med links til sine egne installationsfiler. Det svarer til cirka 1,1 udgivelser om året.
Popularitet og filtyper
Kildekoden på GitHub (rocq-prover/platform) har 247 stjerner.
Projektbeskrivelse på GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Dokumenteret lydløs installation
Ulemper
- Ingen indbygget ARM64-version
- Installationen kræver administratorrettigheder
Kort sagt: Coq er et værktøj med åben kildekode til Windows til pc’er med 64-bit. Administratorer kan udrulle det uovervåget.
Er det sikkert at downloade Coq?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 5 versioner ›5 versioner på 5 år · cirka 1,1 om året
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 2025.08.3Nyeste | 9. april 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19. februar 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17. februar 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28. januar 2022 | — | Alle processorer EXE (NSIS) |
| 8.13.2 | 21. september 2021 | — | Alle processorer EXE (NSIS) |
Installér fra kommandolinjen
Lydløs installation ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SRelateret vejledning: winget: installer og opdater programmer i Windows
Information
- Udgiver
- The Coq Team
- Licens
- CC0-1.0
- Pris
- Gratis
- Kildekode
- github.com/rocq-prover/platform
- Programmeringssprog
- Shell
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- EXE (NSIS)
- Version
- 2025.08.3
- Udgivet
- 9. april 2026
- I kataloget siden
- 21. september 2021
- Registrerede versioner
- 5
- Opdateringer pr. år
- 1,1
- GitHub-stjerner
- 247
- GitHub-forks
- 56
- Websted
- github.com
- winget-id
- Coq.CoqPlatform
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Ofte stillede spørgsmål
Er Coq gratis?
Ja. Coq er open source-software under licensen CC0-1.0.
Er det sikkert at downloade Coq?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg Coq med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kan Coq installeres lydløst?
Ja. Siden om lydløs installation viser den præcise kommando for hver installationsfil.
Kører Coq på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af Coq?
Versionssiden viser alle 5 versioner siden 21. september 2021 med links til de officielle installationsfiler.