Coq: logical comparison of integers

Question

Natural numbers (nat) in coq have the function beq_nat, is there a similar function for integers Z (in ZArith)?

And for the future, how can I find the answer to such questions without asking about Stackoverflow?

+4

Konstantin weitz Oct 24 '13 at 18:24

1 answer

Arthur Azevedo De Amorim · Accepted Answer · 2013-10-24T19:07:36+0000

There is a function in the standard library Z.eqb. Be sure to import the ZArithtp module in order to use it.

Unfortunately, I do not know any resources to find this, besides viewing the standard documentation library ...