Reservoir
No results found
All Packages
timelib
v0.2.1
A date and time library for Lean 4
Readme
Versions (1)
timelib
A date and time library for Lean 4, implementing the proleptic Gregorian calendar.
Status