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.
Utgivarens beskrivning (engelska)
Vad är Coq?
Coq är ett Windowsprogram med öppen källkod från The Coq Team. Programmeringsspråk: Shell.
Installation och systemkrav
Det finns officiella installationsfiler för 64-bitars i formatet EXE (NSIS). Installationen kräver administratörsbehörighet. Installationsfilen stöder obevakad installation utan frågor (silent install).
Uppdateringar och versionshistorik
Den senaste versionen är 2025.08.3, släppt 9 april 2026. Här listas 5 versioner sedan 21 september 2021, var och en med länkar till sina egna installationsfiler. Det motsvarar ungefär 1,1 versioner per år.
Popularitet och filtyper
Källkoden på GitHub (rocq-prover/platform) har 247 stjärnor.
Projektbeskrivning på GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Dokumenterad tyst installation
Nackdelar
- Ingen inbyggd ARM64-version
- Installationen kräver administratörsbehörighet
Kort sagt: Coq är ett verktyg med öppen källkod för Windows för datorer med 64-bitars. Administratörer kan distribuera det obevakat.
Är det säkert att ladda ner Coq?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 5 versioner ›5 versioner på 5 år · ungefär 1,1 per år
| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 2025.08.3Senaste | 9 april 2026 | — | 64-bitars EXE (NSIS) |
| 2025.08.2 | 19 februari 2026 | — | 64-bitars EXE (NSIS) |
| 2025.1.0 | 17 februari 2025 | — | 64-bitars EXE (NSIS) |
| 8.14.1 | 28 januari 2022 | — | Alla processorer EXE (NSIS) |
| 8.13.2 | 21 september 2021 | — | Alla processorer EXE (NSIS) |
Installera från kommandoraden
Tyst installation ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SRelaterad guide: Så använder du winget: installera och uppdatera
Information
- Utgivare
- The Coq Team
- Licens
- CC0-1.0
- Pris
- Gratis
- Källkod
- github.com/rocq-prover/platform
- Programmeringsspråk
- Shell
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- EXE (NSIS)
- Version
- 2025.08.3
- Släppt
- 9 april 2026
- I katalogen sedan
- 21 september 2021
- Listade versioner
- 5
- Uppdateringar per år
- 1,1
- GitHub-stjärnor
- 247
- GitHub-forkar
- 56
- Webbplats
- github.com
- winget-ID
- Coq.CoqPlatform
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Vanliga frågor
Är Coq gratis?
Ja. Coq är programvara med öppen källkod under licensen CC0-1.0.
Är det säkert att ladda ner Coq?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Hur installerar jag Coq med winget?
Öppna PowerShell eller Windows Terminal och kör winget-kommandot som visas på den här sidan. winget laddar ner den officiella installationsfilen och kontrollerar SHA256-hashen innan den körs.
Går det att installera Coq tyst?
Ja. Sidan om tyst installation visar det exakta kommandot för varje installationsfil.
Fungerar Coq på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Var kan jag ladda ner en äldre version av Coq?
Versionssidan listar alla 5 versioner sedan 21 september 2021 med länkar till de officiella installationsfilerna.