CODEWITHSUNDEEP
coq
Konstantin Weitz
Konstantin Weitz

Reputation: 6422

Coq: Boolean Comparison of Integers

The natural numbers (nat) in coq have a 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 on Stackoverflow?

Upvotes: 5

Views: 1001

Answers (1)

Arthur Azevedo De Amorim
Arthur Azevedo De Amorim

Reputation: 23592

There's the Z.eqb function in the standard library. Make sure to import module ZArith tp use it.

Unfortunately, I don't know of any resources for finding this besides browsing the standard library documentation...

Upvotes: 5

Related Questions