LINUX.ORG.RU

Языки Программирования


14

1

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

См. также:

 , , , , , , , ,

Coq 8.9

Группа Open Source

Состоялся релиз Coq 8.9. Его разработка заняла 7 месяцев с момента выпуска Coq 8.8. Этот релиз является результатом ≈2000 коммитов и ≈500 pull request’ов.

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

( читать дальше... )

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

 , , , ,

Guest_1488 ()

Еще новости

Опросы

2015

2012

Форум

Март 2019

Февраль 2019

Январь 2019

Декабрь 2018

Ноябрь 2018

Октябрь 2018

Сентябрь 2018

Июль 2018

Июнь 2018