交互式定理证明工具 Coq (cockerel) 版本 8.12 已发布（撰写新闻时最新可用的次要版本是 8.12.1）。
Coq 包含 Gallina（鸡）相关类型编程语言，该语言基于构造微积分理论。
Coq 系统允许您开发计算机可验证的定理证明和程序以及符合规范的证明。
新版本显着改进了标准库和文档，还修复了一些错误。
来源： linux.org.ru
交互式定理证明工具 Coq (cockerel) 版本 8.12 已发布（撰写新闻时最新可用的次要版本是 8.12.1）。
Coq 包含 Gallina（鸡）相关类型编程语言，该语言基于构造微积分理论。
Coq 系统允许您开发计算机可验证的定理证明和程序以及符合规范的证明。
新版本显着改进了标准库和文档，还修复了一些错误。
来源： linux.org.ru