Coq 8.12

Објавена е верзијата 8.12 (последната достапна мала верзија во моментот на пишување на веста е 8.12.1) на интерактивната алатка за докажување теорема Coq (петел).

Coq го вклучува програмскиот јазик зависен тип Галина (кокошка), кој се базира на теоријата на конструктивна пресметка.

Системот Coq ви овозможува да развиете и компјутерски проверливи докази за теорема и програми заедно со доказ за усогласеност со спецификацијата.

Новата верзија значително ја подобри стандардната библиотека и документација, а исто така поправи и голем број грешки.

Извор: linux.org.ru