Состоялся релиз 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