8.12 نسخه خپره شوې ده (د خبر لیکلو په وخت کې وروستۍ موجوده کوچنۍ نسخه 8.12.1 ده) د متقابل تیورم ثابتولو وسیله Coq (cockerel).
په Coq کې د ګالینا (چرګ) انحصاري ډول پروګرام کولو ژبه شامله ده، کوم چې د ساختماني محاسبې د تیوري پر بنسټ والړ دی.
د Coq سیسټم تاسو ته اجازه درکوي چې د کمپیوټر تصدیق وړ تیوریم ثبوتونه او پروګرامونه د ځانګړتیاوو سره د موافقت ثبوت سره جوړ کړي.
نوې نسخه په معیاري کتابتون او اسنادو کې د پام وړ وده کړې، او یو شمیر غلطۍ یې هم حل کړې.
سرچینه: linux.org.ru