代码之家 › 专栏 › 技术社区 › Bob

记录,证明无关性,约翰·梅杰的平等

coq-tactic theorem-proving dependent-type equality coq

Bob · 技术社区 · 5 年前

内容过于久远，请刷新稍后重试

0 回复 | 直到 5 年前

Arthur Azevedo De Amorim 5 年前

推荐文章

wildcard96 · Python 3.6.2与布尔文字[duplicate]的等式比较

7 年前

Mark Harrison · 比较两个pandas级数的浮点近似相等?

7 年前

illusionist · 覆盖==等式运算符仅在一个方向上起作用

7 年前

Ray · 测试函数对象(函子)等式,它是如何计算的?我用“is”还是“=”?

7 年前

Shersh · 比较大数据类型值的最简单方法是忽略一个字段或不包含该字段

7 年前

babybob · 转换为“对象”类型的目的是什么?

8 年前

Madmenyo · 如果对象2=对象1[重复],则引用等于返回false

8 年前

Kevin Meredith · 定义自由Monad的相等实例

9 年前

Mansour · Java检查字符串的相等性

9 年前

463035818_is_not_an_ai · 对等和平等之间的区别是什么?

9 年前