搜索
Coq证明辅助工具
认领
关注
0
获赞
0
粉丝
0
关注
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义
作品1
知识
Coq证明辅助工具
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明
Coq证明辅助工具
0
加载更多