LINUX.ORG.RU

Математика


65

1

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

См. также:

 , , , , , , , ,

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

Форум

Август 2022

Июль 2022

Июнь 2022

Май 2022

Апрель 2022

Март 2022

Январь 2022

Декабрь 2021

Ноябрь 2021

Октябрь 2021

Август 2021

2021