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 Beta?
Coq Beta er et Windows-program med åben kildekode fra Coq. 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 19. marts 2026. Her er 3 versioner siden 14. november 2021, hver med links til sine egne installationsfiler. Det svarer til cirka 0,7 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 Beta 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 Beta?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Å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 3 versioner ›3 versioner på 4 år · cirka 0,7 om året
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 2025.08.3Nyeste | 19. marts 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10. februar 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14. november 2021 | — | Alle processorer EXE (NSIS) |
Installér fra kommandolinjen
Lydløs installation ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SRelateret vejledning: winget: installer og opdater programmer i Windows
Information
- Udgiver
- Coq
- 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
- 19. marts 2026
- I kataloget siden
- 14. november 2021
- Registrerede versioner
- 3
- Opdateringer pr. år
- 0,7
- GitHub-stjerner
- 247
- GitHub-forks
- 56
- Websted
- github.com
- winget-id
- Coq.CoqPlatform.Beta
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Ofte stillede spørgsmål
Er Coq Beta gratis?
Ja. Coq Beta er open source-software under licensen CC0-1.0.
Er det sikkert at downloade Coq Beta?
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 Beta 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 Beta installeres lydløst?
Ja. Siden om lydløs installation viser den præcise kommando for hver installationsfil.
Kører Coq Beta 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 Beta?
Versionssiden viser alle 3 versioner siden 14. november 2021 med links til de officielle installationsfiler.