نسخو 8.12 جاري ڪيو ويو آهي (خبر لکڻ جي وقت ۾ تازو موجود ننڍڙو نسخو 8.12.1 آهي) انٽرايڪٽو ٿيوريم ثابت ڪرڻ وارو اوزار Coq (cockerel).
Coq ۾ Gallina (مرغي) تي منحصر قسم جي پروگرامنگ ٻولي شامل آھي، جيڪا ٺھيل حساب ڪتاب جي نظريي تي ٻڌل آھي.
Coq سسٽم توهان کي اجازت ڏئي ٿو ته ڪمپيوٽر-تصديق ٿيل نظريي جا ثبوت ۽ پروگرام ٻنهي کي ترقي ڪرڻ جي ثبوت سان گڏ وضاحت سان مطابقت جو ثبوت.
نئين نسخي ۾ معياري لائبريري ۽ دستاويزن کي تمام گهڻو بهتر ڪيو ويو آهي، ۽ ڪيترن ئي غلطين کي پڻ درست ڪيو ويو آهي.
جو ذريعو: linux.org.ru