Coq ఇంటరాక్టివ్ థియరమ్ ప్రోవర్ (కాకెరెల్) వెర్షన్ 8.12 (రాసే సమయంలో అందుబాటులో ఉన్న తాజా మైనర్ వెర్షన్ 8.12.1) విడుదల చేయబడింది.
Coq నిర్మాణ కాలిక్యులస్ సిద్ధాంతం ఆధారంగా ఆధారపడిన రకాలైన గల్లినా (కోడి)తో ప్రోగ్రామింగ్ భాషను కలిగి ఉంటుంది.
Coq సిస్టమ్ స్పెసిఫికేషన్‌కు అనుగుణంగా రుజువుతో పాటు కంప్యూటర్-ధృవీకరించదగిన సిద్ధాంత ప్రూఫ్‌లు మరియు ప్రోగ్రామ్‌లు రెండింటినీ అభివృద్ధి చేయడానికి మిమ్మల్ని అనుమతిస్తుంది.
కొత్త వెర్షన్ ప్రామాణిక లైబ్రరీ మరియు డాక్యుమెంటేషన్‌ను గణనీయంగా మెరుగుపరిచింది మరియు అనేక బగ్‌లను పరిష్కరించింది.
మూలం: linux.org.ru