LINUX.ORG.RU

Coq


13

0

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

См. также:

 ,

Coq 8.9

Группа Open Source

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

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

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

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

 , , , ,

Guest_1488 ()

Еще новости

2016

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

Галерея

Форум

Июнь 2018

2016

2014

2013

2013

2012

2011