تم إصدار الإصدار 8.12 (أحدث إصدار ثانوي متوفر وقت كتابة الخبر هو 8.12.1) من أداة إثبات النظرية التفاعلية Coq (الكوكريل).
يتضمن Coq لغة البرمجة المعتمدة على نوع Gallina (الدجاج)، والتي تعتمد على نظرية حساب التفاضل والتكامل.
يتيح لك نظام Coq تطوير البراهين النظرية والبرامج التي يمكن التحقق منها بالكمبيوتر بالإضافة إلى إثبات المطابقة للمواصفات.
لقد أدى الإصدار الجديد إلى تحسين المكتبة القياسية والوثائق بشكل كبير، كما قام أيضًا بإصلاح عدد من الأخطاء.
المصدر: linux.org.ru