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 သည် The Coq Team ထုတ်ဝေသော Windows အတွက် ပွင့်လင်းရင်းမြစ် ပရိုဂရမ် ဖြစ်ပါသည်။ Shell ဖြင့် ရေးသားထားပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
တရားဝင် installer များကို 64-bit အတွက် EXE (NSIS) ပုံစံဖြင့် ရနိုင်ပါသည်။ ထည့်သွင်းရာတွင် Administrator ခွင့် လိုအပ်ပါသည်။ Installer သည် လူမပါဘဲ အလိုအလျောက် (အသံတိတ်) ထည့်သွင်းခြင်းကို ပံ့ပိုးပါသည်။
အပ်ဒိတ်များနှင့် ဗားရှင်းမှတ်တမ်း
နောက်ဆုံးဗားရှင်းမှာ 2025.08.3 ဖြစ်ပါသည် (၂၀၂၆ ဧပြီ ၉ တွင် ထုတ်ဝေ)။ ၂၀၂၁ စက်တင်ဘာ ၂၁ မှစ၍ ဗားရှင်း ၅ ခုကို စာရင်းပြုထားပြီး တစ်ခုစီတွင် ကိုယ်ပိုင် installer ဖိုင်လင့်ခ်များ ပါဝင်ပါသည်။ ဆိုလိုသည်မှာ တစ်နှစ်လျှင် ထုတ်ဝေမှု ၁.၁ ခုခန့် ဖြစ်ပါသည်။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
GitHub ပေါ်ရှိ source code (rocq-prover/platform) တွင် ကြယ် ၂၄၇ ပွင့် ရှိပါသည်။
GitHub ပေါ်ရှိ ပရောဂျက်ဖော်ပြချက်: “Multi platform setup for Rocq, Rocq libraries and tools”
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- အသံတိတ်ထည့်သွင်းခြင်းကို မှတ်တမ်းတင်ထားသည်
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
- ထည့်သွင်းရာတွင် Administrator ခွင့် လိုအပ်သည်
အတိုချုပ်: Coq သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Windows ကိရိယာ ဖြစ်ပါသည်။ စီမံခန့်ခွဲသူများသည် လူမပါဘဲ ဖြန့်ဝေနိုင်ပါသည်။
Coq ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၅ ခုလုံး ›၅ နှစ်အတွင်း ဗားရှင်း ၅ ခု · တစ်နှစ်လျှင် ၁.၁ ခုခန့်
| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 2025.08.3နောက်ဆုံး | ၂၀၂၆ ဧပြီ ၉ | — | 64-bit EXE (NSIS) |
| 2025.08.2 | ၂၀၂၆ ဖေဖော်ဝါရီ ၁၉ | — | 64-bit EXE (NSIS) |
| 2025.1.0 | ၂၀၂၅ ဖေဖော်ဝါရီ ၁၇ | — | 64-bit EXE (NSIS) |
| 8.14.1 | ၂၀၂၂ ဇန်နဝါရီ ၂၈ | — | CPU အားလုံး EXE (NSIS) |
| 8.13.2 | ၂၀၂၁ စက်တင်ဘာ ၂၁ | — | CPU အားလုံး EXE (NSIS) |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›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
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com/rocq-prover/platform
- ရေးသားထားသည့် ဘာသာ
- Shell
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- EXE (NSIS)
- ဗားရှင်း
- 2025.08.3
- ထုတ်ဝေသည့်နေ့
- ၂၀၂၆ ဧပြီ ၉
- စာရင်းထဲ ထည့်သည့်နေ့
- ၂၀၂၁ စက်တင်ဘာ ၂၁
- စာရင်းရှိ ဗားရှင်းများ
- 5
- တစ်နှစ်လျှင် အပ်ဒိတ်
- ၁.၁
- GitHub ကြယ်
- ၂၄၇
- GitHub fork များ
- ၅၆
- ဝဘ်ဆိုက်
- github.com
- winget ID
- Coq.CoqPlatform
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
မေးလေ့ရှိသောမေးခွန်းများ
Coq သည် အခမဲ့လား
ဟုတ်ပါသည်။ Coq သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (CC0-1.0 လိုင်စင်)။
Coq ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
Coq ကို winget ဖြင့် ဘယ်လို ထည့်သွင်းရမလဲ
PowerShell သို့မဟုတ် Windows Terminal ကို ဖွင့်ပြီး ဤစာမျက်နှာရှိ winget command ကို run ပါ။ winget သည် တရားဝင် installer ကို ဒေါင်းလုဒ်လုပ်ပြီး မ run မီ ၎င်း၏ SHA256 hash ကို စစ်ဆေးပါသည်။
Coq ကို အသံတိတ် ထည့်သွင်းနိုင်ပါသလား
နိုင်ပါသည်။ အသံတိတ်ထည့်သွင်းခြင်း စာမျက်နှာတွင် installer တစ်ခုစီအတွက် တိကျသော command ကို ပြထားပါသည်။
Coq သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
Coq ဗားရှင်းဟောင်းကို ဘယ်မှာ ဒေါင်းလုဒ်လုပ်ရမလဲ
ဗားရှင်းများ စာမျက်နှာတွင် ဗားရှင်း ၅ ခုလုံးကို ၂၀၂၁ စက်တင်ဘာ ၂၁ အထိ တရားဝင် installer ဖိုင်လင့်ခ်များနှင့်အတူ စာရင်းပြုထားပါသည်။