Author leanVM circuits in Clean, prove them, and export them to Rust - #595

Author leanVM circuits in Clean, prove them, and export them to Rust#595

kevaundray wants to merge 82 commits into

leanEthereum:riscv-explorationleanEthereum/leanVM:riscv-explorationfrom

kevaundray:kw/clean-circuits-adder-20261010kevaundray/leanVM:kw/clean-circuits-adder-20261010Copy head branch name to clipboard