رابط تحميل رسمي
الأمان والمصدر
الحزمة مستوردة من مستودع microsoft/winget-pkgs الرسمي. تجنب أي نسخ تطلب كراك أو تفعيل غير قانوني.
WinGet
Windows
Official
تثبيت Coq Platform عبر Winget
Windows Package Manager أو تحميل مباشر عبر الموقع عند توفر InstallerUrl.
افتح Windows Terminal أو PowerShell، ثم نفذ أمر التثبيت الرسمي التالي:
winget install --id Coq.CoqPlatform --exact
لتحديث Coq Platform لاحقاً:
winget upgrade --id Coq.CoqPlatform --exact
دليل سريع
أسئلة شائعة عن Coq Platform
هل Coq Platform مجاني؟
توضح هذه الصفحة نوع ترخيص Coq Platform وتوفر رابط المصدر الرسمي. السعر المعروض في GLoader هو صفر ولا نقدم نسخاً مكركة أو معدلة.
كيف أثبت Coq Platform عبر Winget؟
افتح Windows Terminal ثم نفذ الأمر: winget install --id Coq.CoqPlatform --exact. سيطلب Winget تأكيد المصدر وشروط الحزمة قبل التثبيت.
هل رابط تحميل Coq Platform آمن؟
يوجه رابط التحميل إلى المصدر الرسمي أو مستودع المشروع المعتمد. تحقق دائماً من اسم الناشر وتجنب مواقع إعادة الرفع غير المعروفة.