Reservoir
No results found
All Packages
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
#risc0
#zero-knowledge
#zk-stark
#zkvm
#risc-v
#riscv
#riscv32
#riscv32im
Readme
Versions (1)
Dependencies (10)
Displaying
1-1
of
1
versions of
risc0-lean4
Sort by
Date
Not a part of any version track.
31c956f
2 years ago
Released on February 14, 2023 at 4:43:46PM
Commit 31c956f builds on its old leanprover/lean4:nightly-2022-12-23
nightly-2022-12-23
1
20