Reservoir
No results found
All Packages
expdb
Exponent pair database
Readme
Versions (3)
Dependencies (14)
Displaying
1-3
of
3
versions of
expdb
Sort by
Date
Not a part of any version track.
d899546
2 days ago
Released on December 19, 2024 at 8:44:59AM
Commit d899546 builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
8.6 KB
Build archive size: 8559 bytes.
Not a part of any version track.
fc5f09f
v4.15.0-rc1
17 days ago
Released on December 4, 2024 at 8:17:35AM
Commit fc5f09f builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
8.6 KB
Build archive size: 8563 bytes.
Not a part of any version track.
80acec8
v4.14.0-rc3
20 days ago
Released on December 1, 2024 at 1:02:15PM
Commit 80acec8 builds on its recent leanprover/lean4:v4.14.0-rc3
v4.14.0-rc3
8.5 KB
Build archive size: 8492 bytes.
1
20