Coq证明辅助工具

0粉丝
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明(比如操作系统的安全性和编译器的正确性)。
简介
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明(比如操作系统的安全性和编译器的正确性)。... 更多
其它信息
授权协议
LGPL
操作系统
跨平台
软件类型
开源软件
所属分类
企业应用、 计算机辅助设计CAD/CAM
开源组织
地区
不详
适用人群
未知

时光轴

里程碑1
LOG2
2023
10-01
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐