文章总数
1
代码之家
› 用户
›
Blaisorblade
全部
Coq引理语句中的定义等式与命题等式
Blaisorblade
·
技术社区
·
coq-tactic
coq
· 6 年前
1
