Reservoir
No results found
All Packages
ix
v0.1.0
a zero-knowledge proof-carrying code platform for Lean 4
Readme
Versions (1)
Dependencies (4)
Displaying
1-1
of
1
versions of
ix
Sort by
Date
0.1
Version track: 0.1
0.1.0
20 hours ago
Released on June 25, 2025 at 8:23:32PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
1
20