互動式定理證明工具 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