EVENP.html -- ACL2 Version 6.3

### EVENP

test whether an integer is even

    Major Section:  ACL2-BUILT-INS

`(evenp x)` is true if and only if the integer `x` is even. Actually, in the ACL2 logic `(evenp x)` is defined to be true when `x/2` is an integer.

The guard for `evenp` requires its argument to be an integer.

`Evenp` is a Common Lisp function. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.