☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
timelib
0.2.1
A date and time library for Lean 4
timelib
A date and time library for Lean 4, implementing the proleptic Gregorian calendar.
Status