LINUX.ORG.RU

Математика


62

2

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

См. также:

 , , , , , , , ,

Coq 8.9

Группа Open Source

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

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

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

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

 , , , ,

Guest_1488 ()

Еще новости

2018

2017

2016

2015

2014

2013

2012

2011

2010

Опросы

Июль 2019

Форум

Февраль 2020

Январь 2020

Декабрь 2019

Ноябрь 2019

Октябрь 2019

Сентябрь 2019

Август 2019

Июль 2019

Июнь 2019