首页
标签
equational-reasoning
为什么等式推理链无法满足平凡可解的约束条件？
（顺序 。） 。翻转 fmap === forM？
在编写作为传递链接步骤的长链的相等性证明时跟踪 "state"
列表归纳 - 证明更强 属性 (Haskell)
如果 return a = return b 那么 a=b 吗？
归纳证明两个函数定义相等
是否可以在不破坏等式推理的情况下使用教会编码？
多个列表的归纳证明
reduce(x+y, xs) 和 sum(xs) 在 python 中不等价？