In this paper, I present a revised version of Gauss's Easter formula, which is clearer than the original Easter formula and in which certain exceptions are eliminated. I also describe a method for proving calendar algorithms. (C) 1997 Academic Press.