当前标签：coq

迈克·纳哈斯的Coq教程（中文翻译）
chesium 2022-07-20 02:25 阅读:5238 评论:1 推荐:2 编辑
在 Coq 中形式化 100 个定理
chesium 2022-02-04 16:38 阅读:1828 评论:0 推荐:1 编辑