4
coq中的自然數（nat）具有函數beq_nat，對於整數Z（在ZArith中）是否有類似的函數？Coq：Boolean整數比較
未來，如何在不詢問Stackoverflow的情況下找到這些問題的答案？
A
回答
4
標準庫中有Z.eqb函數。確保導入模塊ZArith tp使用它。
不幸的是，除了瀏覽standard library文檔，我不知道有什麼資源可以找到這個...
相關問題
- 1. 比較整數
- 2. 比較整數
- 3. 比較整數
- 4. 整數比較
- 5. 整數比較C＃
- 6. EditText整數比較
- 7. 負整數比較
- 8. 比較整數C++
- 9. 擊整數比較
- 10. PHP比較整數
- 11. std :: pow與整數參數比較，整數類型比較
- 12. 比較浮點數整數
- 13. 整數數組比較
- 14. 比較整數的數字
- 15. 比較其他整數整數
- 16. 整數與==的比較
- 17. 比較整數的麻煩
- 18. 比較2對整數
- 19. MySQL REGEXP整數比較
- 20. C＃整數解析/比較
- 21. 比較整數功能SIGSEGV
- 22. 點與整數的比較
- 23. Lua比較多個整數
- 24. NSPredicate與整數比較
- 25. Prolog的整數比較
- 26. 比較NSString和整數？
- 27. 比較整數對象
- 28. 比較兩個整數
- 29. C++逐個比較整數
- 30. 整數比較，10和128