calendar.pdf (a paper describing the calendar)
calendar.cpp (a C program that implements the calendar)
calendar.lisp (ACL2 translation of the program)
proof.lisp (ACL2 proofs of some results mentioned in the paper) A more technical version of the paper was published in the proceedings of the