文章总数
1
代码之家
› 用户
›
Farley Knight
全部
如何证明(对于所有x,p x/\q x)->(对于所有x,p x)【在coq中】
Farley Knight
·
技术社区
·
coq
proof
· 15 年前
1
