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.
Naşirin təsviri (ingilis)
Coq nədir?
Coq The Coq Team naşirinin buraxdığı açıq mənbəli Windows proqramıdır. Proqramlaşdırma dili: Shell.
Quraşdırma və tələblər
Rəsmi quraşdırma faylları 64 bit Windows üçün EXE (NSIS) formatında təqdim olunur. Quraşdırma administrator hüquqları tələb edir. Quraşdırma faylı sual vermədən (səssiz) quraşdırmanı dəstəkləyir.
Yeniləmələr və versiya tarixçəsi
Son versiya: 2025.08.3, 9 aprel 2026 tarixində buraxılıb. 21 sentyabr 2021 tarixindən bəri 5 versiya siyahıdadır; hər biri öz quraşdırma fayllarına aparır. Bu, ildə təxminən 1,1 yeniləmə deməkdir.
Populyarlıq və fayl növləri
GitHub-dakı mənbə kodu (rocq-prover/platform) 247 ulduz toplayıb.
GitHub-dakı layihə təsviri: “Multi platform setup for Rocq, Rocq libraries and tools”
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Sənədləşdirilmiş səssiz quraşdırma
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
- Quraşdırma administrator hüquqları tələb edir
Qısaca: Coq 64 bit kompüterlər üçün açıq mənbəli Windows alətidir. Sistem administratorları onu sual vermədən yaya bilər.
Coq proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 5 versiya ›5 ildə 5 versiya · ildə təxminən 1,1 yeniləmə
| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 2025.08.3Son versiya | 9 aprel 2026 | — | 64 bit EXE (NSIS) |
| 2025.08.2 | 19 fevral 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 17 fevral 2025 | — | 64 bit EXE (NSIS) |
| 8.14.1 | 28 yanvar 2022 | — | Bütün prosessorlar EXE (NSIS) |
| 8.13.2 | 21 sentyabr 2021 | — | Bütün prosessorlar EXE (NSIS) |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SƏlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Naşir
- The Coq Team
- Lisenziya
- CC0-1.0
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com/rocq-prover/platform
- Proqramlaşdırma dili
- Shell
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- EXE (NSIS)
- Versiya
- 2025.08.3
- Buraxılış tarixi
- 9 aprel 2026
- Kataloqa əlavə olunub
- 21 sentyabr 2021
- Qeydə alınmış versiya
- 5
- İllik yeniləmə
- 1,1
- GitHub ulduzu
- 247
- GitHub fork
- 56
- Rəsmi sayt
- github.com
- winget ID
- Coq.CoqPlatform
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Tez-tez verilən suallar
Coq pulsuzdurmu?
Bəli. Coq açıq mənbəli proqramdır (CC0-1.0 lisenziyası).
Coq proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
Coq proqramı winget ilə necə quraşdırılır?
PowerShell və ya Windows Terminal açın və bu səhifədəki winget əmrini işə salın. winget rəsmi quraşdırma faylını yükləyir və işə salmazdan əvvəl SHA256 heşini yoxlayır.
Coq proqramını səssiz quraşdırmaq olarmı?
Bəli. Səssiz quraşdırma səhifəsində hər quraşdırma faylı üçün dəqiq əmr var.
Coq ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
Coq proqramının köhnə versiyasını haradan yükləmək olar?
Versiyalar səhifəsində 5 versiyanın hamısı (21 sentyabr 2021 tarixinə qədər) rəsmi quraşdırma fayllarına keçidlərlə siyahıya alınıb.