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 2022 ACL2 Workshop