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.
ინსტალაცია და მოთხოვნები
ოფიციალური საინსტალაციო ფაილები არსებობს Windows-ისთვის: 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), ოფიციალური საინსტალაციო ფაილების ბმულებით.