ဗားရှင်း 8.12 ကို ထုတ်ဝေလိုက်ပါပြီ (သတင်းရေးသားချိန်တွင် နောက်ဆုံးရနိုင်သော အသေးအဖွဲဗားရှင်းမှာ 8.12.1) ဖြစ်ပြီး အပြန်အလှန်တုံ့ပြန်မှုဆိုင်ရာ သီအိုရီသက်သေပြကိရိယာ Coq (cockerel) ဖြစ်သည်။
Coq တွင် construct calculus သီအိုရီကို အခြေခံထားသည့် Gallina (ကြက်) အမျိုးအစား programming language ပါဝင်သည်။
Coq စနစ်သည် သင့်အား သတ်မှတ်ချက်များနှင့် ကိုက်ညီမှုရှိကြောင်း အထောက်အထားနှင့်အတူ ကွန်ပြူတာ-စစ်ဆေးနိုင်သော သီအိုရီသက်သေများနှင့် ပရိုဂရမ်နှစ်ခုလုံးကို ဖန်တီးနိုင်စေမည်ဖြစ်သည်။
ဗားရှင်းအသစ်သည် စံစာကြည့်တိုက်နှင့် စာရွက်စာတမ်းများကို သိသိသာသာ တိုးတက်ကောင်းမွန်စေပြီး အမှားအယွင်းများစွာကိုလည်း ပြင်ဆင်ပေးထားသည်။
source: linux.org.ru