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 nima?
Coq — The Coq Team 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, 9-aprel, 2026 sanasida chiqarilgan. 21-sentabr, 2021 sanasidan beri 5 ta versiya roʻyxatga olingan, har biri oʻz oʻrnatish fayllariga havola qiladi. Bu yiliga taxminan 1,1 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 — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi. Administratorlar uni savolsiz (avtomatik) tarqatishi mumkin.
Coq 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:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 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 5 ta versiya ›5 yilda 5 ta versiya · yiliga taxminan 1,1 ta
| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 2025.08.3Eng soʻnggi | 9-aprel, 2026 | — | 64 bitli EXE (NSIS) |
| 2025.08.2 | 19-fevral, 2026 | — | 64 bitli EXE (NSIS) |
| 2025.1.0 | 17-fevral, 2025 | — | 64 bitli EXE (NSIS) |
| 8.14.1 | 28-yanvar, 2022 | — | Har qanday protsessor EXE (NSIS) |
| 8.13.2 | 21-sentabr, 2021 | — | Har qanday protsessor EXE (NSIS) |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /STegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Maʼlumot
- Nashr etuvchi
- The Coq Team
- 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
- 9-aprel, 2026
- Katalogga qoʻshilgan
- 21-sentabr, 2021
- Roʻyxatdagi versiyalar
- 5
- Yiliga yangilanishlar
- 1,1
- GitHub yulduzlari
- 247
- GitHub forklari
- 56
- Veb-sayt
- github.com
- winget ID
- Coq.CoqPlatform
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
Koʻp beriladigan savollar
Coq bepulmi?
Ha. Coq — ochiq kodli dastur (CC0-1.0 litsenziyasi).
Coq 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 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 dasturini jim oʻrnatish mumkinmi?
Ha. Jim oʻrnatish sahifasida har bir oʻrnatuvchi uchun aniq buyruq berilgan.
Coq ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
Coq dasturining eski versiyasini qayerdan yuklab olish mumkin?
Versiyalar sahifasida barcha 5 ta versiya rasmiy oʻrnatish fayllariga havolalar bilan berilgan; eng eskisi 21-sentabr, 2021 sanasiga tegishli.