LINUX.ORG.RU

Математика


56

2

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

См. также:

 , , , , , , , ,

Coq 8.9

Группа Open Source

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

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

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

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

 , , , ,

Guest_1488 ()

Еще новости

Май 2018

Март 2018

2017

2016

2015

2014

2013

2012

2011

2010

Форум

Вчера

Февраль 2019

Январь 2019

Декабрь 2018

Ноябрь 2018

Ноябрь 2018

Октябрь 2018

Сентябрь 2018

Август 2018

Июль 2018