LINUX.ORG.RU

Coq


20

0

Всего сообщений: 15

См. также:

 ,

Coq 8.12

Группа Разработка

Вышла версия 8.12 (последняя доступная минорная версия на момент написания новости – 8.12.1) инструмента интерактивного доказательства теорем Coq.

Coq включает в себя язык программирования с зависимыми типами Gallina, опирающийся на теорию исчисления конструкций.

Система Coq позволяет разрабатывать как компьютерно-верифицируемые доказательства теорем, так и программы вместе с доказательством соответствия спецификации.

В новой версии была значительно доработана стандартная библиотека и документация, а также исправлен ряд ошибок.

>>> Подробности

 

anonymous ()

Еще новости

2019

  • Coq 8.9 (51 комментарий)

2016

  • Coq 8.5 (131 комментарий)

Галерея

Форум

2018

2016

2014

2013

2013

2012

2011