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 Beta?
Coq Beta: nyílt forráskódú Windows-program. Kiadó: Coq. 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. március 19.). A listában 3 verzió szerepel 2021. november 14. óta, mindegyik a saját telepítőfájljaira mutat. Ez évente nagyjából 0,7 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 Beta: 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 Beta 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ő:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 a 3 verzió ›3 verzió 4 év alatt · évente kb. 0,7
| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 2025.08.3Legújabb | 2026. március 19. | — | 64 bites EXE (NSIS) |
| 2025.1.0 | 2025. február 10. | — | 64 bites EXE (NSIS) |
| 8.14.0 | 2021. november 14. | — | Bármely processzor EXE (NSIS) |
Telepítés parancssorból
Csendes telepítés ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SKapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kiadó
- Coq
- 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. március 19.
- Katalógusba került
- 2021. november 14.
- Listázott verziók
- 3
- Frissítés / év
- 0,7
- GitHub-csillagok
- 247
- GitHub-forkok
- 56
- Weboldal
- github.com
- winget-azonosító
- Coq.CoqPlatform.Beta
É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 Beta program?
Igen. A Coq Beta program nyílt forráskódú szoftver (licenc: CC0-1.0), ingyenesen letölthető és használható.
Biztonságos a Coq Beta 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 Beta 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 Beta 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 Beta 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 Beta régebbi verziója?
A verziók oldalán mind a 3 verzió megtalálható a hivatalos telepítőfájlokra mutató hivatkozással (a legrégebbi megjelenése: 2021. november 14.).