LINUX.ORG.RU

Математика


63

1

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

См. также:

 , , , , , , , ,

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

Май 2020

Апрель 2020

Апрель 2020

Март 2020

Февраль 2020