文章总数
3
代码之家
› 用户
›
Jian Wang
全部
Coq中的背景目标、搁置目标和放弃目标是什么?
Jian Wang
·
技术社区
·
coq-extraction
coq
· 7 年前
如何划分Coq代码以提供Coq ideslave(XML协议)?
Jian Wang
·
技术社区
·
coqide
coq
· 7 年前
Coq的XML协议文档中的“editId”是什么?
Jian Wang
·
技术社区
·
coqide
coq-tactic
coq
xml
· 7 年前
1
