Library Coq.micromega.ZifyBool
Z_of_bool is the injection function for boolean
bool_of_Z is a compatible reverse operation
Boolean operators
Comparisons are encoded using the predicates isZero and isLeZero.
Comparison over Z
Comparison over nat
Injected boolean operators