پرطرفدار: به‌روزرسانی داده‌ها: ۵ آبان ۱۴۰۵

دسته‌بندی‌ها

اینترنت۱٬۳۵۶
ارتباطات۳۲۱
صوتی و تصویری۸۹۸
گرافیک و طراحی۵۳۹
اداری و بهره‌وری۱٬۱۲۴
ابزارهای برنامه‌نویسی۳٬۱۳۴
ابزارهای هوش مصنوعی۵۲۹
امنیت و حریم خصوصی۳۸۵
ابزارهای سیستمی۳٬۱۱۴
بازی۵۲۳
آموزش و علوم۲۳۹
شبکه و IT۲۸۴

دانلود نرم‌افزارهای The Coq Team

۱ نرم‌افزار ویندوز از The Coq Team در فهرست وجود دارد. آخرین به‌روزرسانی: Coq 2025.08.3. · github.com