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.
Utgiverens beskrivelse (engelsk)
Hva er Coq?
Coq er et program med åpen kildekode for Windows, utgitt av The Coq Team. Programmeringsspråk: Shell.
Installasjon og systemkrav
Det finnes offisielle installasjonsfiler for 64-bit i formatet EXE (NSIS). Installasjonen krever administratorrettigheter. Installasjonsfilen støtter installasjon uten tilsyn og uten spørsmål.
Oppdateringer og versjonshistorikk
Nyeste versjon er 2025.08.3, utgitt 9. april 2026. Katalogen har 5 versjoner siden 21. september 2021, hver med lenker til sine egne installasjonsfiler. Det tilsvarer omtrent 1,1 utgivelser i året.
Popularitet og filtyper
Kildekoden på GitHub (rocq-prover/platform) har 247 stjerner.
Prosjektbeskrivelse på GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Dokumentert stille installasjon
Ulemper
- Ingen egen ARM64-versjon
- Installasjonen krever administratorrettigheter
Kort sagt: Coq er et verktøy med åpen kildekode for Windows for PC-er med 64-bit. Administratorer kan distribuere det uten tilsyn.
Er det trygt å laste ned Coq?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 5 versjoner ›5 versjoner på 5 år · omtrent 1,1 i året
| Versjon | 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 prosessorer EXE (NSIS) |
| 8.13.2 | 21. september 2021 | — | Alle prosessorer EXE (NSIS) |
Installer fra kommandolinjen
Stille installasjon ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SRelatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Utgiver
- The Coq Team
- Lisens
- CC0-1.0
- Pris
- Gratis
- Kildekode
- github.com/rocq-prover/platform
- Programmeringsspråk
- Shell
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- EXE (NSIS)
- Versjon
- 2025.08.3
- Utgitt
- 9. april 2026
- Lagt til i katalogen
- 21. september 2021
- Registrerte versjoner
- 5
- Oppdateringer per år
- 1,1
- GitHub-stjerner
- 247
- GitHub-forker
- 56
- Nettsted
- github.com
- winget-ID
- Coq.CoqPlatform
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Ofte stilte spørsmål
Er Coq gratis?
Ja. Coq er programvare med åpen kildekode under lisensen CC0-1.0.
Er det trygt å laste ned Coq?
Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Hvordan installerer jeg Coq med winget?
Åpne PowerShell eller Windows Terminal og kjør winget-kommandoen som vises på denne siden. winget laster ned den offisielle installasjonsfilen og kontrollerer SHA256-summen før den kjøres.
Kan Coq installeres i stillhet?
Ja. Siden om stille installasjon viser den nøyaktige kommandoen for hver installasjonsfil.
Kjører Coq på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Hvor kan jeg laste ned en eldre versjon av Coq?
Versjonssiden viser alle 5 versjonene tilbake til 21. september 2021, med lenker til de offisielle installasjonsfilene.