Timelib
A work in progress date and time library for Lean 4.
A date and time library for Lean 4
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.
A work in progress date and time library for Lean 4.