Reference: isLeapYear

isLeapYear(year) returns true if year is a leap year, and false otherwise.

Per definition,

isLeapYear(year) = (year mod 4 = 0) ∧ ((year mod 100 ≠ 0) ∨ (year mod 400 = 0))

Example:

isLeapYear(2010) = false