ژبه
کټګورۍ
په لېست کې د Coq ۱ Windows پروګرام شته. وروستی تازه شوی: Coq Beta 2025.08.3. · github.com
Coq
غواړو د Google Analytics او Yandex Metrica په مرسته وګورو چې سایټ څنګه کارول کېږي. دوی یوازې هغه وخت کوکي ږدي چې تاسو یې ومنئ. د محرمیت پالیسي
Coq Beta