Reservoir
No results found
All Packages
numbers
Arbitrary Bit-Length Integers in Lean
#wasm
Readme
Versions (6)
Dependents (1)
Displaying
1-6
of
6
versions of
numbers
Sort by
Date
Not a part of any version track.
a7093c6
4 months ago
Released on June 15, 2024 at 3:31:50AM
Commit a7093c6 builds on its old leanprover/lean4:v4.8.0
v4.8.0
Not a part of any version track.
0d10bb8
v24.04.0
7 months ago
Released on March 17, 2024 at 10:12:04PM
Commit 0d10bb8 builds on its old leanprover/lean4:v4.6.1
v4.6.1
Not a part of any version track.
ddb58f9
v24.03.0
7 months ago
Released on March 1, 2024 at 12:20:10AM
Commit ddb58f9 builds on its old leanprover/lean4:v4.6.0
v4.6.0
Not a part of any version track.
720120c
v24.02.2
7 months ago
Released on March 1, 2024 at 12:14:33AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.0-rc1
Not a part of any version track.
b46af7a
v24.02.1
7 months ago
Released on February 29, 2024 at 1:14:21AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0
Not a part of any version track.
025f481
v24.02.0
9 months ago
Released on January 10, 2024 at 6:52:24AM
Commit 025f481 builds on its old leanprover/lean4:v4.5.0-rc1
v4.5.0-rc1
1
20