risc0-lean4
risc0-lean4 copied to clipboard
Published
20 hours ago •
risc0
risc0
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Results
0
risc0-lean4 issues
Sort by
recently updated
recently updated
newest added