LINUX.ORG.RU

Математика


63

1

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

См. также:

 , , , , , , , ,

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

Форум

Июль 2021

Июнь 2021

Май 2021

Апрель 2021

Март 2021

Февраль 2021

Январь 2021

Декабрь 2020

Ноябрь 2020

Октябрь 2020

Сентябрь 2020