Coq (cockerel) интерактив теоремыг батлах хэрэгслийн 8.12 хувилбар (мэдээ бичиж байх үеийн хамгийн сүүлийн үеийн жижиг хувилбар нь 8.12.1) гарсан.
Coq нь барилгын тооцооллын онол дээр суурилсан Gallina (тахиа) хамааралтай төрлийн програмчлалын хэлийг агуулдаг.
Coq систем нь компьютерээр баталгаажуулах теоремын нотолгоо, программыг хоёуланг нь боловсруулж, техникийн үзүүлэлтэд нийцсэн нотлох боломжийг олгодог.
Шинэ хувилбар нь стандарт номын сан, баримт бичгийг ихээхэн сайжруулж, хэд хэдэн алдааг зассан.
Эх сурвалж: linux.org.ru