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