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.
Beschreibung des Herstellers (Englisch)
Was ist Coq?
Coq ist ein quelloffenes Windows-Programm von The Coq Team. Programmiersprache: Shell.
Installation und Systemvoraussetzungen
Offizielle Installationsdateien gibt es für 64-Bit im Format EXE (NSIS). Für die Installation sind Administratorrechte nötig. Das Setup unterstützt eine unbeaufsichtigte Installation ohne Rückfragen.
Updates und Versionsverlauf
Aktuell ist Version 2025.08.3, veröffentlicht am 9. April 2026. Gelistet sind 5 Versionen seit 21. September 2021, jede mit Links zu ihren eigenen Installationsdateien. Das entspricht etwa 1,1 Releases pro Jahr.
Verbreitung und Dateitypen
Der Quellcode auf GitHub (rocq-prover/platform) hat 247 Sterne.
Projektbeschreibung auf GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Dokumentierte stille Installation
Nachteile
- Keine native ARM64-Version
- Installation erfordert Administratorrechte
Kurz gesagt: Coq ist ein quelloffenes Tool für Windows für PCs mit 64-Bit. Administratoren können es unbeaufsichtigt verteilen.
Ist der Download von Coq sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 5 Versionen ›5 Versionen in 5 Jahren · etwa 1,1 pro Jahr
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 2025.08.3Aktuell | 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 Prozessoren EXE (NSIS) |
| 8.13.2 | 21. September 2021 | — | Alle Prozessoren EXE (NSIS) |
Installation per Kommandozeile
Silent Install ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPassende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Hersteller
- The Coq Team
- Lizenz
- CC0-1.0
- Preis
- Kostenlos
- Quellcode
- github.com/rocq-prover/platform
- Programmiersprache
- Shell
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- EXE (NSIS)
- Version
- 2025.08.3
- Veröffentlicht
- 9. April 2026
- Im Katalog seit
- 21. September 2021
- Erfasste Versionen
- 5
- Updates pro Jahr
- 1,1
- GitHub-Sterne
- 247
- GitHub-Forks
- 56
- Website
- github.com
- winget-ID
- Coq.CoqPlatform
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Häufige Fragen
Ist Coq kostenlos?
Ja. Coq ist Open-Source-Software unter der Lizenz CC0-1.0.
Ist der Download von Coq sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich Coq mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Lässt sich Coq still (silent) installieren?
Ja. Die Seite zur stillen Installation nennt für jeden Installer den genauen Befehl.
Läuft Coq auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Wo kann ich eine ältere Version von Coq herunterladen?
Die Versionsseite listet alle 5 Versionen seit 21. September 2021 mit Links zu den offiziellen Installationsdateien.