Reservoir
No results found
All Packages
time
Port of the haskell time library to Lean 4
Readme
Versions (7)
Dependencies (1)
Displaying
1-7
of
7
versions of
time
Sort by
Date
Not a part of any version track.
01ac04f
v4.14.0
7 days ago
Released on December 2, 2024 at 2:51:00PM
Commit 01ac04f builds on its recent leanprover/lean4:v4.14.0
v4.14.0
3.5 MB
Build archive size: 3532474 bytes.
Not a part of any version track.
01ac04f
v4.14.0
7 days ago
Released on December 2, 2024 at 2:51:00PM
Commit 01ac04f builds on its recent leanprover/lean4:v4.14.0
v4.14.0
3.5 MB
Build archive size: 3532474 bytes.
Not a part of any version track.
6409537
v4.13.0
12 days ago
Released on November 27, 2024 at 1:43:20PM
Commit 6409537 builds on its old leanprover/lean4:v4.13.0
v4.13.0
3.5 MB
Build archive size: 3534623 bytes.
Not a part of any version track.
dc472e0
v4.12.0
2 months ago
Released on October 4, 2024 at 8:20:51AM
Commit dc472e0 builds on its old leanprover/lean4:v4.12.0
v4.12.0
3.0 MB
Build archive size: 2985917 bytes.
Not a part of any version track.
937184d
v4.11.0
2 months ago
Released on October 4, 2024 at 7:22:38AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.11.0
Not a part of any version track.
ddc8fe4
v4.10.0
4 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
7 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