Coq - 用于编程和规范的形式化语言和环境，可促进机器验证证明的交互式开发

github.com

新手上路 2026-2-26 08:57

主楼

[资源名称]

Coq - 用于编程和规范的形式化语言和环境，可促进机器验证证明的交互式开发

[资源来源]

github.com

[资源介绍]

- Coq - 用于编程和规范的形式化语言和环境，可促进机器验证证明的交互式开发。

[资源合集]

经典有趣资源推荐，总有一个资源对你绝对有用！

回复点赞举报