Reservoir
No results found
All Packages
proven-zk
A support library for working with zero knowledge cryptography in Lean 4.
Readme
Versions (8)
Dependencies (9)
Displaying
1-8
of
8
versions of
proven-zk
Sort by
Date
Not a part of any version track.
eaf9712
3 days ago
Released on May 7, 2025 at 12:20:04AM
Commit eaf9712 builds on its recent leanprover/lean4:v4.19.0
v4.19.0
1.2 MB
Build archive size: 1190252 bytes.
Not a part of any version track.
62cb9d8
v1.5.0
a month ago
Released on April 4, 2025 at 2:38:38PM
Commit 62cb9d8 builds on its old leanprover/lean4:v4.16.0-rc2
v4.16.0-rc2
1.2 MB
Build archive size: 1186970 bytes.
Not a part of any version track.
659b51e
v1.4.0
a year ago
Released on March 13, 2024 at 10:59:32PM
Commit 659b51e builds on its old leanprover/lean4:v4.2.0
v4.2.0
Not a part of any version track.
ae9327e
v1.3.0
a year ago
Released on January 28, 2024 at 4:59:20PM
Commit ae9327e builds on its old leanprover/lean4:nightly-2023-07-12
nightly-2023-07-12
Not a part of any version track.
1f19c61
v1.2.1
a year ago
Released on November 29, 2023 at 12:05:48PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2023-07-12
Not a part of any version track.
474d69f
v1.2.0
a year ago
Released on November 28, 2023 at 3:23:59PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2023-07-12
Not a part of any version track.
18e62cc
v1.1.0
2 years ago
Released on October 16, 2023 at 4:20:06PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2023-07-12
Not a part of any version track.
08431b9
v1.0.0
2 years ago
Released on July 31, 2023 at 11:12:53PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2023-07-12
1
20