☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
timelib
0.2.1
A date and time library for Lean 4
Displaying
1-1
of
1
versions of
timelib
Sort by
Date
0.2
Version track: 0.2
0.2.1
3 months ago
Released on April 12, 2025 at 8:06:40PM
Commit 2c69e4a builds on its old leanprover/lean4:v4.19.0-rc2
v4.19.0-rc2
5.5 MB
Build archive size: 5546132 bytes.
1
20