Reservoir
No results found
All Packages
time
Port of the haskell time library to Lean 4
Readme
Versions (3)
Dependencies (1)
Displaying
1-3
of
3
versions of
time
Sort by
Date
Not a part of any version track.
feb16a0
a month ago
Released on August 18, 2024 at 3:20:09PM
Commit feb16a0 builds on its old leanprover/lean4:v4.11.0-rc2
v4.11.0-rc2
3.0 MB
Build archive size: 2966187 bytes.
Not a part of any version track.
ddc8fe4
v4.10.0
2 months ago
Released on August 3, 2024 at 5:56:57PM
Commit ddc8fe4 builds on its old leanprover/lean4:v4.10.0
v4.10.0
2.9 MB
Build archive size: 2928233 bytes.
Not a part of any version track.
5011067
v4.7.0
5 months ago
Released on April 26, 2024 at 9:49:39AM
Commit 5011067 builds on its old leanprover/lean4:v4.7.0
v4.7.0
1
20