首页
标签
coinduction
是否可以在任何互归纳类型上确定相等性?
流函子定律的证明
为什么我不能定义以下 CoFixpoint?
在 Coq 中证明 Co-Inductive 属性(词法排序是传递的)
如何在 Morte 上创建 `enumFromTo` 函数?
1
2