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 ነው።
መጫን እና የሚያስፈልጉ ነገሮች
ለ64-bit ይፋዊ ጫኚዎች በEXE (NSIS) ቅርጸት አሉ። መጫኑ የአስተዳዳሪ መብቶችን ይጠይቃል። ጫኚው ያለ ጥያቄ (ጸጥ ያለ) ጭነትን ይደግፋል።
ዝማኔዎች እና የስሪት ታሪክ
የአሁኑ ስሪት 2025.08.3 ነው፤ የተለቀቀው በ9 ኤፕሪል 2026 ነው። ከ21 ሴፕቴምበር 2021 ጀምሮ 5 ስሪቶች ተዘርዝረዋል፤ እያንዳንዳቸው ወደ ራሳቸው የመጫኛ ፋይሎች አገናኞች አሏቸው። ይህ በዓመት ወደ 1.1 ልቀቶች ገደማ ነው።
ተወዳጅነት እና የፋይል አይነቶች
በGitHub ላይ ያለው የምንጭ ኮድ (rocq-prover/platform) 247 ኮከቦች አሉት።
በGitHub ላይ ያለው የፕሮጀክቱ መግለጫ: “Multi platform setup for Rocq, Rocq libraries and tools”
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- የተገለጸ ጸጥ ያለ ጭነት
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
- መጫኑ የአስተዳዳሪ መብቶችን ይፈልጋል
በአጭሩ: Coq ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው። አስተዳዳሪዎች ያለ ጥያቄ ሊያሰማሩት ይችላሉ።
Coqን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከgithub.com ነው፤ ይህ የአሳታሚው የራሱ ጎራ ነው
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የቅርብ ጊዜ ስሪቶች
ሁሉም 5 ስሪቶች ›በ5 ዓመት ውስጥ 5 ስሪቶች · በዓመት ወደ 1.1 ገደማ
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 2025.08.3የቅርብ ጊዜ | 9 ኤፕሪል 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 ፌብሩዋሪ 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 ፌብሩዋሪ 2025 | — | 64-bit 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-bit
- ጫኚ
- EXE (NSIS)
- ስሪት
- 2025.08.3
- የተለቀቀበት
- 9 ኤፕሪል 2026
- ወደ ካታሎጉ የተጨመረበት
- 21 ሴፕቴምበር 2021
- የተዘረዘሩ ስሪቶች
- 5
- ዝማኔዎች / በዓመት
- 1.1
- የGitHub ኮከቦች
- 247
- የGitHub ፎርኮች
- 56
- ድረ-ገጽ
- github.com
- የwinget መታወቂያ
- 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-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
የCoq የቆየ ስሪት ከየት ማውረድ ይቻላል?
የስሪቶች ገጹ ሁሉንም 5 ስሪቶች ከይፋዊ የመጫኛ ፋይሎቻቸው አገናኞች ጋር ይዘረዝራል፤ እስከ 21 ሴፕቴምበር 2021 ድረስ።