相关文章推荐
LogicChains
·
Coq 8.7中是否包含ssrnat?
·
7 年前
Zheng Cheng
·
在处理有关nat数的矛盾假设时,ssrefl ...
·
7 年前
代码之家
›
专栏
›
技术社区
›
LogicChains
Coq 8.7中是否包含ssrnat?
ssreflect
coq
2
LogicChains
·
技术社区
· 7 年前
内容过于久远,请刷新稍后重试
1 回复
|
直到 7 年前
1
4
ejgallego
7 年前
推荐文章
LogicChains
·
Coq 8.7中是否包含ssrnat?
7 年前
Zheng Cheng
·
在处理有关nat数的矛盾假设时,ssreflect、Coq的自动化
7 年前