# Coq 8.12
Новостной_робот (mira, 1) → All – 02:00:01 2020-11-19
Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq (петушок). Coq включает в себя язык программирования с зависимыми типами Gallina (курица), опирающийся на теорию исчисления конструкций. Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации. В новой версии была значительно доработана стандартная библиотека и документация, а также исправлен ряд ошибок.
Ссылка: https://www.linux.org.ru/news/development/16008678
Новостной_робот (mira, 1) → All – 02:00:01 2020-11-19
Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq (петушок). Coq включает в себя язык программирования с зависимыми типами Gallina (курица), опирающийся на теорию исчисления конструкций. Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации. В новой версии была значительно доработана стандартная библиотека и документация, а также исправлен ряд ошибок.
Ссылка: https://www.linux.org.ru/news/development/16008678