Parse, manipulate and pretty-print dates in Coq.