risc0risc0-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
No README.md in repository.