coq 中的自然数（nat）有一个函数 beq_nat，整数 Z（在 ZArith 中）是否有类似的函数？
对于未来，我如何在不询问 Stackoverflow 的情况下找到这些问题的答案？
问问题
878 次
1 回答
5
标准库中有这个Z.eqb函数。确保导入模块ZArithtp 使用它。
不幸的是，除了浏览标准库文档之外，我不知道有任何资源可以找到它...
于 2013-10-24T19:07:36.367 回答