الأكثر طلبًا: آخر تحديث للبيانات: 27 أكتوبر 2026

الأقسام

الإنترنت1,356
التواصل321
الصوت والفيديو898
الرسوميات والتصميم539
المكتب والإنتاجية1,124
أدوات المطورين3,134
أدوات الذكاء الاصطناعي529
الأمان والخصوصية385
أدوات النظام3,114
الألعاب523
التعليم والعلوم239
الشبكات وتقنية المعلومات284

تحميل برامج Coq

عدد برامج Windows من Coq في الدليل: 1. آخرها تحديثًا: Coq Beta 2025.08.3. · github.com