Coq ဆော့ဖ်ဝဲ ဒေါင်းလုဒ်

စာရင်းထဲတွင် Coq ထုတ်ဝေသော Windows ပရိုဂရမ် ၁ ခု ရှိပါသည်။ နောက်ဆုံး အပ်ဒိတ်ဖြစ်သည်မှာ Coq Beta 2025.08.3 ဖြစ်ပါသည်။ · github.com