[canucker2016]

I'd read that blog post.

Historical minor quibble - formula correct for 1582 <= year <= 102499 (well, it's actually correct down to 1201, but the gregorian calendar didn't start until oct 1582... and then you get into the quagmire about when each country adopted the gregorian calendar, if they ever did)

[burntsushi]

The GP said the proleptic Gregorian calendar, so they are correct. (Assuming their formula is correct, which I haven't checked.) If they had said, "here's how humans in Western civilization could calculate the leap year of their current calendar back to year zero," then your quibble (and probably others) would be warranted. :-)