文章总数 2
代码之家 › 用户  ›  Jian Wang
全部
elim在Coq中是如何工作的?
Jian Wang  · 技术社区    · coq-tactic coq  ·  7 年前
为什么Coq证明的策略“精确”是完整的?
Jian Wang  · 技术社区    · coq-tactic coq  ·  7 年前
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号