文章总数
2
代码之家
› 用户
›
Jian Wang
全部
elim在Coq中是如何工作的?
Jian Wang
·
技术社区
·
coq-tactic
coq
· 7 年前
为什么Coq证明的策略“精确”是完整的?
Jian Wang
·
技术社区
·
coq-tactic
coq
· 7 年前
1
