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.
ინსტალაცია და მოთხოვნები
ოფიციალური საინსტალაციო ფაილები არსებობს Windows-ისთვის: 64-ბიტიანი, ფორმატით EXE (NSIS). ინსტალაცია ადმინისტრატორის უფლებებს ითხოვს. ინსტალერს შეუძლია კითხვების გარეშე (ჩუმი) ინსტალაცია.
განახლებები და ვერსიების ისტორია
უახლესი ვერსია: 2025.08.3, გამოშვების თარიღი: 9 აპრილი, 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უახლესი | 9 აპრილი, 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
- გამოშვების თარიღი
- 9 აპრილი, 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), ოფიციალური საინსტალაციო ფაილების ბმულებით.