Објављена је верзија 8.12 (најновија доступна мања верзија у време писања вести је 8.12.1) интерактивног алата за доказивање теорема Цок (петао).
Цок укључује програмски језик зависног типа Галлина (пилетина), који је заснован на теорији конструктивног рачуна.
Цок систем вам омогућава да развијете и компјутерски проверљиве доказе теорема и програме заједно са доказом усаглашености са спецификацијом.
Нова верзија је значајно побољшала стандардну библиотеку и документацију, а такође је исправила низ грешака.
Извор: линук.орг.ру