Kon*_*itz 5 coq
coq 中的自然数 (nat) 有一个函数 beq_nat，对于整数 Z（在 ZArith 中）是否有类似的函数？
对于未来，我如何在不询问 Stackoverflow 的情况下找到这些问题的答案？
Art*_*rim 5
Z.eqb标准库中有这个函数。确保导入模块ZArithtp 使用它。
Z.eqb
ZArith
不幸的是，除了浏览标准库文档之外，我不知道有任何资源可以找到它...
归档时间：
12 年，1 月 前
查看次数：
847 次
最近记录：