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.
Մշակողի նկարագրությունը (անգլերեն)
Ի՞նչ է Coq Beta ծրագիրը
Coq Beta — բաց կոդով ծրագիր Windows-ի համար։ Մշակողը՝ Coq։ Ծրագրավորման լեզուն՝ Shell։
Տեղադրում և համակարգային պահանջներ
Պաշտոնական տեղադրիչները հասանելի են 64-բիթ համակարգերի համար․ տեղադրիչի տեսակը՝ EXE (NSIS)։ Տեղադրման համար անհրաժեշտ են ադմինիստրատորի իրավունքներ։ Տեղադրիչն աջակցում է լուռ տեղադրում՝ առանց օգտատիրոջ մասնակցության։
Թարմացումներ և տարբերակների պատմություն
Ընթացիկ տարբերակը՝ 2025.08.3, թողարկման ամսաթիվը՝ 19 մարտի, 2026 թ.։ Կատալոգում կա 3 տարբերակ (առաջինը՝ 14 նոյեմբերի, 2021 թ.), և յուրաքանչյուրն ունի իր տեղադրման ֆայլերի հղումները։ Դա տարեկան մոտ 0,7 թողարկում է։
Հայտնիություն և ֆայլերի տեսակներ
GitHub-ում ելակետային կոդը (rocq-prover/platform) ունի 247 աստղ։
Նախագծի նկարագրությունը GitHub-ում: “Multi platform setup for Rocq, Rocq libraries and tools”
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Փաստաթղթավորված լուռ տեղադրում
Թերություններ
- Բնիկ ARM64 կառուցվածք չկա
- Տեղադրման համար անհրաժեշտ են ադմինիստրատորի իրավունքներ
Հակիրճ: Coq Beta — բաց կոդով ծրագիր Windows-ի համար․ կառուցվածքներ՝ 64-բիթ։ Ադմինիստրատորները կարող են այն տարածել առանց օգտատիրոջ մասնակցության։
Արդյո՞ք անվտանգ է ներբեռնել Coq Beta ծրագիրը
- Ֆայլը ներբեռնվում է մշակողի սեփական տիրույթից (github.com)
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Բացել այս հեշի VirusTotal հաշվետվությունը - Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 3 տարբերակները ›3 տարբերակ 4 տարում · տարեկան մոտ 0,7
| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 2025.08.3Վերջինը | 19 մարտի, 2026 թ. | — | 64-բիթ EXE (NSIS) |
| 2025.1.0 | 10 փետրվարի, 2025 թ. | — | 64-բիթ EXE (NSIS) |
| 8.14.0 | 14 նոյեմբերի, 2021 թ. | — | Ցանկացած պրոցեսոր EXE (NSIS) |
Տեղադրում հրամանի տողից
Լուռ տեղադրում ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SԱռնչվող ուղեցույց: Ինչպես օգտագործել winget-ը՝ տեղադրում և թարմացում
Տեղեկություններ
- Մշակող
- Coq
- Լիցենզիա
- CC0-1.0
- Գին
- Անվճար
- Ելակետային կոդ
- github.com/rocq-prover/platform
- Ծրագրավորման լեզու
- Shell
- Պահանջներ
- Windows 11 / 10
- Ճարտարապետություն
- 64-բիթ
- Տեղադրիչ
- EXE (NSIS)
- Տարբերակ
- 2025.08.3
- Թողարկման ամսաթիվ
- 19 մարտի, 2026 թ.
- Ավելացվել է կատալոգ
- 14 նոյեմբերի, 2021 թ.
- Տարբերակ կատալոգում
- 3
- Թարմացում տարեկան
- 0,7
- GitHub աստղեր
- 247
- GitHub ֆորքեր
- 56
- Կայք
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Գնահատականներ և կարծիքներ
Կարծիքներ դեռ չկան։ Կարող եք առաջինը գնահատել։
Հաճախ տրվող հարցեր
Արդյո՞ք Coq Beta ծրագիրն անվճար է
Այո։ Coq Beta ծրագիրը բաց կոդով է (CC0-1.0 լիցենզիա)․ այն կարելի է անվճար ներբեռնել և օգտագործել։
Արդյո՞ք անվտանգ է ներբեռնել Coq Beta ծրագիրը
Ֆայլը ներբեռնվում է github.com սերվերից, որը պատկանում է մշակողին․ ExeAtlas-ը ֆայլը չի պահում և չի փոփոխում։ Համեմատեք ներբեռնված ֆայլի SHA256-ը այս էջում նշվածի հետ կամ բացեք այդ հեշի VirusTotal հաշվետվությունը։
Ինչպե՞ս տեղադրել Coq Beta ծրագիրը winget-ով
Բացեք PowerShell-ը կամ Windows Terminal-ը և գործարկեք այս էջում նշված winget հրամանը։ winget-ը կներբեռնի պաշտոնական տեղադրիչը և գործարկելուց առաջ կստուգի դրա SHA256 հեշը։
Հնարավո՞ր է Coq Beta ծրագրի լուռ տեղադրում
Այո։ Լուռ տեղադրման էջում նշված է յուրաքանչյուր տեղադրիչի ճշգրիտ հրամանը։
Աշխատո՞ւմ է Coq Beta ծրագիրը ARM-ի վրա (Windows on Arm)
ARM64 կառուցվածք չկա․ Windows 11 on Arm-ը կարող է էմուլյացիայի միջոցով գործարկել 64-բիթ տարբերակը։
Որտեղի՞ց ներբեռնել Coq Beta ծրագրի հին տարբերակները
Տարբերակների էջում հավաքված են բոլոր 3 տարբերակների պաշտոնական տեղադրիչների հղումները (առաջինը՝ 14 նոյեմբերի, 2021 թ.)։