Port of the haskell time library to Lean 4
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.