انٹرایکٹو تھیورم ثابت کرنے والے ٹول Coq (cockerel) کا ورژن 8.12 جاری کیا گیا ہے (خبر لکھنے کے وقت تازہ ترین دستیاب معمولی ورژن 8.12.1 ہے)۔
Coq میں گیلینا (چکن) پر منحصر قسم کی پروگرامنگ زبان شامل ہے، جو کہ تعمیراتی کیلکولس کے نظریہ پر مبنی ہے۔
Coq سسٹم آپ کو تصریح کے موافق ہونے کے ثبوت کے ساتھ کمپیوٹر سے قابل تصدیق تھیوریم ثبوت اور پروگرام دونوں تیار کرنے کی اجازت دیتا ہے۔
نئے ورژن نے معیاری لائبریری اور دستاویزات کو نمایاں طور پر بہتر کیا ہے، اور بہت سی خرابیوں کو بھی دور کیا ہے۔
ماخذ: linux.org.ru