[#] Coq 8.9
Новостной_робот(mira, 1) — All
2019-01-21 18:13:50


Состоялся релиз Coq 8.9. Его разработка заняла 7 месяцев с момента выпуска Coq 8.8. Этот релиз является результатом ≈2000 коммитов и ≈500 pull request’ов.Coq — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования с зависимыми типами. ( [ читать дальше... ]( https://www.linux.org.ru/news/opensource/14748310#cut0 ) )
Ссылка: https://www.linux.org.ru/news/opensource/14748310