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 Beta?
Coq Beta ist ein quelloffenes Windows-Programm von Coq. 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 19. März 2026. Gelistet sind 3 Versionen seit 14. November 2021, jede mit Links zu ihren eigenen Installationsdateien. Das entspricht etwa 0,7 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 Beta ist ein quelloffenes Tool für Windows für PCs mit 64-Bit. Administratoren können es unbeaufsichtigt verteilen.
Ist der Download von Coq Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 Versionen ›3 Versionen in 4 Jahren · etwa 0,7 pro Jahr
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 2025.08.3Aktuell | 19. März 2026 | — | 64-Bit EXE (NSIS) |
| 2025.1.0 | 10. Februar 2025 | — | 64-Bit EXE (NSIS) |
| 8.14.0 | 14. November 2021 | — | Alle Prozessoren EXE (NSIS) |
Installation per Kommandozeile
Silent Install ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SPassende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Hersteller
- Coq
- 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
- 19. März 2026
- Im Katalog seit
- 14. November 2021
- Erfasste Versionen
- 3
- Updates pro Jahr
- 0,7
- GitHub-Sterne
- 247
- GitHub-Forks
- 56
- Website
- github.com
- winget-ID
- Coq.CoqPlatform.Beta
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Häufige Fragen
Ist Coq Beta kostenlos?
Ja. Coq Beta ist Open-Source-Software unter der Lizenz CC0-1.0.
Ist der Download von Coq Beta 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 Beta 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 Beta still (silent) installieren?
Ja. Die Seite zur stillen Installation nennt für jeden Installer den genauen Befehl.
Läuft Coq Beta 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 Beta herunterladen?
Die Versionsseite listet alle 3 Versionen seit 14. November 2021 mit Links zu den offiziellen Installationsdateien.