首页
标签
coq
如何在定理类型中引用类型类多态变量？
在 Coq 中定义同构类
Coq - 将参数传递给记录
颠倒一个明显不正确的假设并不能证明错误
在 Coq 中继承不同类型的类型类
1
2
...
78
79
80
81
82
83