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 Beta nədir?
Coq Beta Coq 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, 19 mart 2026 tarixində buraxılıb. 14 noyabr 2021 tarixindən bəri 3 versiya siyahıdadır; hər biri öz quraşdırma fayllarına aparır. Bu, ildə təxminən 0,7 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 Beta 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 Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 versiya ›4 ildə 3 versiya · ildə təxminən 0,7 yeniləmə
| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 2025.08.3Son versiya | 19 mart 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 10 fevral 2025 | — | 64 bit EXE (NSIS) |
| 8.14.0 | 14 noyabr 2021 | — | Bütün prosessorlar EXE (NSIS) |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SƏlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Naşir
- Coq
- 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
- 19 mart 2026
- Kataloqa əlavə olunub
- 14 noyabr 2021
- Qeydə alınmış versiya
- 3
- İllik yeniləmə
- 0,7
- GitHub ulduzu
- 247
- GitHub fork
- 56
- Rəsmi sayt
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Tez-tez verilən suallar
Coq Beta pulsuzdurmu?
Bəli. Coq Beta açıq mənbəli proqramdır (CC0-1.0 lisenziyası).
Coq Beta 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 Beta 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 Beta 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 Beta 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 Beta proqramının köhnə versiyasını haradan yükləmək olar?
Versiyalar səhifəsində 3 versiyanın hamısı (14 noyabr 2021 tarixinə qədər) rəsmi quraşdırma fayllarına keçidlərlə siyahıya alınıb.