Reservoir
No results found
All Packages
STIR
v0.1.0
SC: Ethereum - zk(E)VM Verification - STIR Lean Blueprint
#math
Readme
Versions (1)
Dependencies (14)
Displaying
1-1
of
1
versions of
STIR
Sort by
Date
0.1
Version track: 0.1
0.1.0
7 days ago
Released on April 28, 2025 at 10:25:40PM
Commit ba62894 builds on its recent leanprover/lean4:v4.19.0-rc3
v4.19.0-rc3
434.4 KB
Build archive size: 434404 bytes.
1
20