የኮክ (አውራ ዶሮ) በይነተገናኝ የቲዎሪ ማረጋገጫ መሣሪያ ስሪት 8.12 (በዚህ ጽሑፍ ጊዜ የሚገኘው የቅርብ ጊዜ ጥቃቅን ስሪት 8.12.1 ነው)።
ኮክ በኮንስትራክት ካልኩለስ ንድፈ ሐሳብ ላይ የተመሠረተ የጋሊና (የዶሮ) የፕሮግራም አወጣጥ ቋንቋን ከጥገኛ ዓይነቶች ጋር ያካትታል።
የኮክ ሲስተም በኮምፒውተር የሚረጋገጡ የቲዎሬም ማረጋገጫዎችን እና ፕሮግራሞችን እንዲሁም ከዝርዝር መግለጫው ጋር የሚጣጣሙ ማረጋገጫዎችን ለማዘጋጀት ያስችላል።
አዲሱ ስሪት በመደበኛ ቤተ-መጽሐፍት እና ሰነዶች ላይ ጉልህ ማሻሻያዎችን እና በርካታ የሳንካ ጥገናዎችን ያካትታል።
ምንጭ: linux.org.ru
