首页
标签
peano-numbers
Haskell:异常:堆栈溢出
Pure Prolog Peano Number Apartness
Coq 定理证明:peano 算术中的简单分数定律
Coq中自然数后继的单射性
无法通过后继函数在 Kotlin 中创建 Int 序列。说 "Type Inference failed"
如何测试 Peano 数
Rust 中的 Peano 数
这个 Java 程序使用迭代将自然数转换为集合论编码。请求 help/strategies 递归解决方案?
有没有一种方便的方法来使用 mono-traversable 构造更大类型级别的 Peano 数?