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.
A kiadó leírása (angol)
Mi a Coq?
Coq: nyílt forráskódú Windows-program. Kiadó: The Coq Team. Programozási nyelv: Shell.
Telepítés és rendszerigény
Hivatalos telepítő ezekhez az architektúrákhoz érhető el: 64 bites; formátum: EXE (NSIS). A telepítéshez rendszergazdai jog szükséges. A telepítő támogatja a felügyelet nélküli (csendes) telepítést.
Frissítések és verzióelőzmények
A legújabb verzió: 2025.08.3 (megjelenés: 2026. április 9.). A listában 5 verzió szerepel 2021. szeptember 21. óta, mindegyik a saját telepítőfájljaira mutat. Ez évente nagyjából 1,1 kiadást jelent.
Népszerűség és fájltípusok
A GitHubon található forráskód (rocq-prover/platform) 247 csillagot kapott.
A projekt leírása a GitHubon: “Multi platform setup for Rocq, Rocq libraries and tools”
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Dokumentált csendes telepítés
Hátrányok
- Nincs natív ARM64-változat
- A telepítéshez rendszergazdai jog kell
Összegzés: Coq: nyílt forráskódú Windows-eszköz, 64 bites gépekre. A rendszergazdák felügyelet nélkül is telepíthetik.
Biztonságos a Coq letöltése?
- A fájlt a github.com szolgálja ki, amely a kiadó saját domainje
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind az 5 verzió ›5 verzió 5 év alatt · évente kb. 1,1
| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 2025.08.3Legújabb | 2026. április 9. | — | 64 bites EXE (NSIS) |
| 2025.08.2 | 2026. február 19. | — | 64 bites EXE (NSIS) |
| 2025.1.0 | 2025. február 17. | — | 64 bites EXE (NSIS) |
| 8.14.1 | 2022. január 28. | — | Bármely processzor EXE (NSIS) |
| 8.13.2 | 2021. szeptember 21. | — | Bármely processzor EXE (NSIS) |
Telepítés parancssorból
Csendes telepítés ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SKapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kiadó
- The Coq Team
- Licenc
- CC0-1.0
- Ár
- Ingyenes
- Forráskód
- github.com/rocq-prover/platform
- Programozási nyelv
- Shell
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites
- Telepítő
- EXE (NSIS)
- Verzió
- 2025.08.3
- Megjelenés
- 2026. április 9.
- Katalógusba került
- 2021. szeptember 21.
- Listázott verziók
- 5
- Frissítés / év
- 1,1
- GitHub-csillagok
- 247
- GitHub-forkok
- 56
- Weboldal
- github.com
- winget-azonosító
- Coq.CoqPlatform
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
Gyakori kérdések
Ingyenes a Coq program?
Igen. A Coq program nyílt forráskódú szoftver (licenc: CC0-1.0), ingyenesen letölthető és használható.
Biztonságos a Coq letöltése?
A fájl a github.com szerveréről érkezik, amely a kiadóé; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Hogyan telepíthető a Coq program wingettel?
Nyissa meg a PowerShellt vagy a Windows Terminált, és futtassa az ezen az oldalon látható winget parancsot. A winget letölti a hivatalos telepítőt, és futtatás előtt ellenőrzi az SHA256 ellenőrzőösszegét.
Lehetséges a Coq csendes telepítése?
Igen. A csendes telepítés oldalán minden telepítőhöz megtalálható a pontos parancs.
Fut a Coq program ARM processzoron (Windows on Arm)?
Nincs ARM64-változat; a Windows 11 on Arm emulációval futtathatja a következő változatot: 64 bites.
Honnan tölthető le a Coq régebbi verziója?
A verziók oldalán mind az 5 verzió megtalálható a hivatalos telepítőfájlokra mutató hivatkozással (a legrégebbi megjelenése: 2021. szeptember 21.).