Интерактивдүү теореманы далилдөөчү Coq (кокерел) куралынын 8.12 версиясы чыкты (жаңылыкты жазып жаткан учурда жеткиликтүү эң акыркы версиясы 8.12.1).
Coq конструкциялык эсептөө теориясына негизделген Gallina (тоок) көз каранды типтеги программалоо тилин камтыйт.
Coq системасы компьютерде текшерилүүчү теореманын далилдерин жана спецификацияга шайкештигин далилдеген программаларды иштеп чыгууга мүмкүндүк берет.
Жаңы версия стандарттык китепкананы жана документтерди бир топ жакшыртты, ошондой эле бир катар каталарды оңдоду.
Source: linux.org.ru