Reservoir
No results found
All Packages
VCVio
Formalized Cryptography Proofs in Lean 4
Readme
Versions (5)
Dependencies (9)
Dependents (2)
Displaying
1-5
of
5
versions of
VCVio
Sort by
Date
Not a part of any version track.
32ab432
v4.20.0
6 hours ago
Released on June 3, 2025 at 11:50:22AM
Commit 32ab432 builds on its recent leanprover/lean4:v4.20.0
v4.20.0
7.1 MB
Build archive size: 7134961 bytes.
Not a part of any version track.
32ab432
v4.20.0
6 hours ago
Released on June 3, 2025 at 11:50:22AM
Commit 32ab432 builds on its recent leanprover/lean4:v4.20.0
v4.20.0
7.1 MB
Build archive size: 7134961 bytes.
Not a part of any version track.
14ed781
v4.19.0
12 days ago
Released on May 23, 2025 at 4:21:13AM
Commit 14ed781 builds on its old leanprover/lean4:v4.19.0
v4.19.0
7.1 MB
Build archive size: 7109319 bytes.
Not a part of any version track.
0661c91
v4.18.0-update-04-24-25
a month ago
Released on April 22, 2025 at 5:34:36PM
Commit 0661c91 builds on its old leanprover/lean4:v4.18.0
v4.18.0
5.5 MB
Build archive size: 5515212 bytes.
Not a part of any version track.
1edf6f4
v4.18.0
2 months ago
Released on April 16, 2025 at 6:51:55PM
Commit 1edf6f4 builds on its old leanprover/lean4:v4.18.0
v4.18.0
5.4 MB
Build archive size: 5414737 bytes.
1
20