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 দিয়ে লেখা।
ইনস্টলেশন ও সিস্টেমের প্রয়োজনীয়তা
৬৪-বিট-এর জন্য অফিশিয়াল ইনস্টলার আছে (EXE (NSIS))। ইনস্টল করার সময় অ্যাডমিনিস্ট্রেটর অনুমতি লাগে। ইনস্টলারটি কোনো প্রশ্ন ছাড়া (সাইলেন্ট) ইনস্টলেশন সমর্থন করে।
আপডেট ও সংস্করণের ইতিহাস
বর্তমান সংস্করণ 2025.08.3, প্রকাশিত হয়েছে ৯ এপ্রিল, ২০২৬ তারিখে। ২১ সেপ্টেম্বর, ২০২১ থেকে এ পর্যন্ত ৫টি সংস্করণ এখানে তালিকাভুক্ত, প্রতিটির নিজস্ব ইনস্টলার ফাইলের লিংকসহ। অর্থাৎ বছরে গড়ে প্রায় ১.১ বার নতুন রিলিজ।
জনপ্রিয়তা ও ফাইল টাইপ
GitHub-এ এর সোর্স কোড (rocq-prover/platform) ২৪৭টি স্টার পেয়েছে।
GitHub-এ প্রজেক্টের বিবরণ: “Multi platform setup for Rocq, Rocq libraries and tools”
সুবিধা / অসুবিধা
সুবিধা
- ওপেন সোর্স: যে কেউ কোড দেখতে ও বিল্ড করতে পারেন
- ডকুমেন্টেড সাইলেন্ট ইনস্টল
অসুবিধা
- নেটিভ ARM64 বিল্ড নেই
- ইনস্টল করতে অ্যাডমিনিস্ট্রেটর অনুমতি লাগে
সংক্ষেপে: Coq ৬৪-বিট PC-র জন্য একটি ওপেন সোর্স Windows টুল। অ্যাডমিনিস্ট্রেটররা এটি কোনো ইউজার ইনপুট ছাড়াই (আনঅ্যাটেন্ডেড) ডিপ্লয় করতে পারেন।
Coq ডাউনলোড করা কি নিরাপদ?
- ফাইলটি আসে github.com থেকে, যা প্রকাশকের নিজস্ব ডোমেইন
- ডাউনলোড লিংক HTTPS ব্যবহার করে
- SHA256 হ্যাশ প্রকাশিত আছে, তাই ফাইলটি যাচাই করতে পারবেন:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· এই হ্যাশের VirusTotal রিপোর্ট খুলুন - লিংকটি এখনও যাচাই করা হয়নি
- সোর্স কোড উন্মুক্ত
- ExeAtlas কোনো ইনস্টলার হোস্ট করে না, মোড়কে ভরে না বা বদলায় না
সম্পর্কিত গাইড: Windows-এ ফাইলের SHA256 হ্যাশ চেক করার নিয়ম
সাম্প্রতিক সংস্করণ
সব ৫টি সংস্করণ ›৫ বছরে ৫টি সংস্করণ · বছরে প্রায় ১.১ বার
| সংস্করণ | তারিখ | সাইজ | ফাইল |
|---|---|---|---|
| 2025.08.3সর্বশেষ | ৯ এপ্রিল, ২০২৬ | — | ৬৪-বিট EXE (NSIS) |
| 2025.08.2 | ১৯ ফেব্রুয়ারি, ২০২৬ | — | ৬৪-বিট EXE (NSIS) |
| 2025.1.0 | ১৭ ফেব্রুয়ারি, ২০২৫ | — | ৬৪-বিট EXE (NSIS) |
| 8.14.1 | ২৮ জানুয়ারি, ২০২২ | — | যেকোনো CPU EXE (NSIS) |
| 8.13.2 | ২১ সেপ্টেম্বর, ২০২১ | — | যেকোনো CPU 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
- আর্কিটেকচার
- ৬৪-বিট
- ইনস্টলার
- EXE (NSIS)
- সংস্করণ
- 2025.08.3
- প্রকাশের তারিখ
- ৯ এপ্রিল, ২০২৬
- ক্যাটালগে যোগ হয়েছে
- ২১ সেপ্টেম্বর, ২০২১
- তালিকাভুক্ত সংস্করণ
- 5
- আপডেট / বছর
- ১.১
- GitHub স্টার
- ২৪৭
- GitHub ফর্ক
- ৫৬
- ওয়েবসাইট
- github.com
- winget ID
- Coq.CoqPlatform
রেটিং ও রিভিউ
এখনও কোনো রিভিউ নেই। প্রথম রেটিংটি আপনিই দিন।
সচরাচর জিজ্ঞাসিত প্রশ্ন
Coq কি ফ্রি?
হ্যাঁ। Coq একটি ওপেন সোর্স সফটওয়্যার (CC0-1.0 লাইসেন্স)।
Coq ডাউনলোড করা কি নিরাপদ?
ফাইলটি ডাউনলোড হয় github.com থেকে, যা প্রকাশকের নিজস্ব; ExeAtlas ফাইলটি হোস্টও করে না, বদলায়ও না। ডাউনলোড করা ফাইলের SHA256 হ্যাশ এখানে দেখানো হ্যাশের সঙ্গে মিলিয়ে নিন, অথবা সেই হ্যাশের VirusTotal রিপোর্ট খুলুন।
winget দিয়ে Coq কীভাবে ইনস্টল করবেন?
PowerShell বা Windows Terminal খুলুন এবং এই পাতায় দেওয়া winget কমান্ডটি চালান। winget অফিশিয়াল ইনস্টলার ডাউনলোড করে এবং চালানোর আগে তার SHA256 হ্যাশ যাচাই করে।
Coq কি সাইলেন্ট ইনস্টল করা যায়?
হ্যাঁ। সাইলেন্ট ইনস্টল পাতায় প্রতিটি ইনস্টলারের সঠিক কমান্ড দেওয়া আছে।
Coq কি ARM (Windows on Arm)-এ চলে?
ARM64 বিল্ড নেই; Windows 11 on Arm-এ ৬৪-বিট সংস্করণটি ইমুলেশনের মাধ্যমে চলতে পারে।
Coq-এর পুরোনো সংস্করণ কোথা থেকে ডাউনলোড করবেন?
সংস্করণ পাতায় ২১ সেপ্টেম্বর, ২০২১ থেকে শুরু করে সব ৫টি সংস্করণ তাদের অফিশিয়াল ইনস্টলার ফাইলের লিংকসহ দেওয়া আছে।