Formal verification of the popular BokkyPooBah's DateTimeLibrary - View it on GitHub