当前标签：证明

在 Coq 中形式化 100 个定理
chesium 2022-02-04 16:38 阅读:1828 评论:0 推荐:1 编辑