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 Beta?
Coq Beta er et program med åpen kildekode for Windows, utgitt av Coq. 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 19. mars 2026. Katalogen har 3 versjoner siden 14. november 2021, hver med lenker til sine egne installasjonsfiler. Det tilsvarer omtrent 0,7 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 Beta 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 Beta?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Å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 3 versjoner ›3 versjoner på 4 år · omtrent 0,7 i året
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 2025.08.3Nyeste | 19. mars 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10. februar 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14. november 2021 | — | Alle prosessorer EXE (NSIS) |
Installer fra kommandolinjen
Stille installasjon ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SRelatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Utgiver
- Coq
- 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
- 19. mars 2026
- Lagt til i katalogen
- 14. november 2021
- Registrerte versjoner
- 3
- Oppdateringer per år
- 0,7
- GitHub-stjerner
- 247
- GitHub-forker
- 56
- Nettsted
- github.com
- winget-ID
- Coq.CoqPlatform.Beta
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Ofte stilte spørsmål
Er Coq Beta gratis?
Ja. Coq Beta er programvare med åpen kildekode under lisensen CC0-1.0.
Er det trygt å laste ned Coq Beta?
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 Beta 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 Beta installeres i stillhet?
Ja. Siden om stille installasjon viser den nøyaktige kommandoen for hver installasjonsfil.
Kjører Coq Beta 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 Beta?
Versjonssiden viser alle 3 versjonene tilbake til 14. november 2021, med lenker til de offisielle installasjonsfilene.