文章总数
1
代码之家
› 用户
›
scubed
全部
如何在每次调用函数时选择性地简化参数,而不计算函数本身?
scubed
·
技术社区
·
coq-tactic
coq
· 8 年前
1
