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.
Nashr etuvchining tavsifi (inglizcha)
Coq Beta nima?
Coq Beta — Coq tomonidan chiqarilgan ochiq kodli Windows dasturi. Dasturlash tili: Shell.
Oʻrnatish va tizim talablari
Rasmiy oʻrnatish fayllari 64 bitli Windows uchun EXE (NSIS) formatida taqdim etiladi. Oʻrnatish uchun administrator huquqlari kerak. Oʻrnatuvchi savolsiz (jim) oʻrnatishni qoʻllab-quvvatlaydi.
Yangilanishlar va versiyalar tarixi
Eng soʻnggi versiya — 2025.08.3, 19-mart, 2026 sanasida chiqarilgan. 14-noyabr, 2021 sanasidan beri 3 ta versiya roʻyxatga olingan, har biri oʻz oʻrnatish fayllariga havola qiladi. Bu yiliga taxminan 0,7 ta reliz demakdir.
Ommaboplik va fayl turlari
GitHubdagi manba kodi (rocq-prover/platform) 247 ta yulduzga ega.
GitHubdagi loyiha tavsifi: “Multi platform setup for Rocq, Rocq libraries and tools”
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Hujjatlashtirilgan jim oʻrnatish
Kamchiliklari
- Mahalliy ARM64 versiyasi yoʻq
- Oʻrnatish administrator huquqlarini talab qiladi
Qisqacha xulosa: Coq Beta — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi. Administratorlar uni savolsiz (avtomatik) tarqatishi mumkin.
Coq Beta dasturini yuklab olish xavfsizmi?
- Fayl nashr etuvchining oʻz domeni — github.com orqali beriladi
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- SHA256 xeshi eʼlon qilingan, shuning uchun faylni tekshirish mumkin:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Bu xesh uchun VirusTotal hisobotini ochish - Havola hali tekshirilmagan
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Soʻnggi versiyalar
Barcha 3 ta versiya ›4 yilda 3 ta versiya · yiliga taxminan 0,7 ta
| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 2025.08.3Eng soʻnggi | 19-mart, 2026 | — | 64 bitli EXE (NSIS) |
| 2025.1.0 | 10-fevral, 2025 | — | 64 bitli EXE (NSIS) |
| 8.14.0 | 14-noyabr, 2021 | — | Har qanday protsessor EXE (NSIS) |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /STegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Maʼlumot
- Nashr etuvchi
- Coq
- Litsenziya
- CC0-1.0
- Narxi
- Bepul
- Manba kodi
- github.com/rocq-prover/platform
- Dasturlash tili
- Shell
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli
- Oʻrnatuvchi turi
- EXE (NSIS)
- Versiya
- 2025.08.3
- Chiqarilgan sana
- 19-mart, 2026
- Katalogga qoʻshilgan
- 14-noyabr, 2021
- Roʻyxatdagi versiyalar
- 3
- Yiliga yangilanishlar
- 0,7
- GitHub yulduzlari
- 247
- GitHub forklari
- 56
- Veb-sayt
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
Koʻp beriladigan savollar
Coq Beta bepulmi?
Ha. Coq Beta — ochiq kodli dastur (CC0-1.0 litsenziyasi).
Coq Beta dasturini yuklab olish xavfsizmi?
Fayl github.com manzilidan yuklab olinadi; bu manzil nashr etuvchiga tegishli. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi. Yuklab olingan faylning SHA256 xeshini shu yerda koʻrsatilgani bilan solishtiring yoki bu xesh uchun VirusTotal hisobotini oching.
Coq Beta dasturini winget orqali qanday oʻrnatish mumkin?
PowerShell yoki Windows Terminalni oching va shu sahifadagi winget buyrugʻini ishga tushiring. winget rasmiy oʻrnatish faylini yuklab oladi va ishga tushirishdan oldin uning SHA256 xeshini tekshiradi.
Coq Beta dasturini jim oʻrnatish mumkinmi?
Ha. Jim oʻrnatish sahifasida har bir oʻrnatuvchi uchun aniq buyruq berilgan.
Coq Beta ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
Coq Beta dasturining eski versiyasini qayerdan yuklab olish mumkin?
Versiyalar sahifasida barcha 3 ta versiya rasmiy oʻrnatish fayllariga havolalar bilan berilgan; eng eskisi 14-noyabr, 2021 sanasiga tegishli.