ስሪት 8.12 (በሚጻፉበት ጊዜ ያለው የቅርብ ጊዜ አነስተኛ ስሪት 8.12.1 ነው) የ Coq መስተጋብራዊ ቲዎረም prover (cockerel) ተለቋል።
ኮክ በግንባታ ስሌት ፅንሰ-ሀሳብ ላይ የተመሰረተ ጥገኛ ዓይነቶች ጋሊና (ዶሮ) ያለው የፕሮግራም ቋንቋ ያካትታል.
የኮክ ሲስተም ሁለቱንም በኮምፒዩተር ሊረጋገጡ የሚችሉ የቲዎሬም ማስረጃዎችን እና ፕሮግራሞችን ከዝርዝሩ ጋር የተጣጣመ ማረጋገጫን እንዲያዘጋጁ ይፈቅድልዎታል።
አዲሱ ስሪት መደበኛውን ቤተ-መጽሐፍት እና ሰነዶችን በእጅጉ አሻሽሏል፣ እና በርካታ ስህተቶችን አስተካክሏል።
ምንጭ: linux.org.ru