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 သည် Coq ထုတ်ဝေသော 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 Beta သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Windows ကိရိယာ ဖြစ်ပါသည်။ စီမံခန့်ခွဲသူများသည် လူမပါဘဲ ဖြန့်ဝေနိုင်ပါသည်။
Coq Beta ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၃ ခုလုံး ›၄ နှစ်အတွင်း ဗားရှင်း ၃ ခု · တစ်နှစ်လျှင် ၀.၇ ခုခန့်
| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 2025.08.3နောက်ဆုံး | ၂၀၂၆ မတ် ၁၉ | — | 64-bit EXE (NSIS) |
| 2025.1.0 | ၂၀၂၅ ဖေဖော်ဝါရီ ၁၀ | — | 64-bit EXE (NSIS) |
| 8.14.0 | ၂၀၂၁ နိုဝင်ဘာ ၁၄ | — | CPU အားလုံး EXE (NSIS) |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›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
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com/rocq-prover/platform
- ရေးသားထားသည့် ဘာသာ
- Shell
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- EXE (NSIS)
- ဗားရှင်း
- 2025.08.3
- ထုတ်ဝေသည့်နေ့
- ၂၀၂၆ မတ် ၁၉
- စာရင်းထဲ ထည့်သည့်နေ့
- ၂၀၂၁ နိုဝင်ဘာ ၁၄
- စာရင်းရှိ ဗားရှင်းများ
- 3
- တစ်နှစ်လျှင် အပ်ဒိတ်
- ၀.၇
- GitHub ကြယ်
- ၂၄၇
- GitHub fork များ
- ၅၆
- ဝဘ်ဆိုက်
- github.com
- winget ID
- Coq.CoqPlatform.Beta
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
မေးလေ့ရှိသောမေးခွန်းများ
Coq Beta သည် အခမဲ့လား
ဟုတ်ပါသည်။ Coq Beta သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (CC0-1.0 လိုင်စင်)။
Coq Beta ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
Coq Beta ကို winget ဖြင့် ဘယ်လို ထည့်သွင်းရမလဲ
PowerShell သို့မဟုတ် Windows Terminal ကို ဖွင့်ပြီး ဤစာမျက်နှာရှိ winget command ကို run ပါ။ winget သည် တရားဝင် installer ကို ဒေါင်းလုဒ်လုပ်ပြီး မ run မီ ၎င်း၏ SHA256 hash ကို စစ်ဆေးပါသည်။
Coq Beta ကို အသံတိတ် ထည့်သွင်းနိုင်ပါသလား
နိုင်ပါသည်။ အသံတိတ်ထည့်သွင်းခြင်း စာမျက်နှာတွင် installer တစ်ခုစီအတွက် တိကျသော command ကို ပြထားပါသည်။
Coq Beta သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
Coq Beta ဗားရှင်းဟောင်းကို ဘယ်မှာ ဒေါင်းလုဒ်လုပ်ရမလဲ
ဗားရှင်းများ စာမျက်နှာတွင် ဗားရှင်း ၃ ခုလုံးကို ၂၀၂၁ နိုဝင်ဘာ ၁၄ အထိ တရားဝင် installer ဖိုင်လင့်ခ်များနှင့်အတူ စာရင်းပြုထားပါသည်။