Reservoir
No results found
All Packages
time
Port of the haskell time library to Lean 4
Readme
Versions (5)
Dependencies (1)
Displaying
1-5
of
5
versions of
time
Sort by
Date
Not a part of any version track.
dc472e0
v4.12.0
13 days ago
Released on October 4, 2024 at 8:20:51AM
Commit dc472e0 builds on its recent leanprover/lean4:v4.12.0
v4.12.0
3.0 MB
Build archive size: 2985918 bytes.
Not a part of any version track.
dc472e0
v4.12.0
13 days ago
Released on October 4, 2024 at 8:20:51AM
Commit dc472e0 builds on its recent leanprover/lean4:v4.12.0
v4.12.0
3.0 MB
Build archive size: 2985918 bytes.
Not a part of any version track.
937184d
v4.11.0
13 days 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
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
6 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