Reservoir
No results found
All Packages
proven-zk
A support library for working with zero knowledge cryptography in Lean 4.
#formal-verification
#zero-knowledge
Readme
Versions (7)
Dependencies (6)
Displaying
1-7
of
7
versions of
proven-zk
Sort by
Date
Not a part of any version track.
659b51e
v1.4.0
9 months 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.
659b51e
v1.4.0
9 months 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
a year 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
a year 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