risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
LeanApache-2.0
Watchers
- 3forBeijing
- BoltonBaileyPi Squared Inc.
- Brando753
- brianretfordCEO @ RISC Zero
- brooksa321
- eemailme
- hashcashier
- heavypacketsMorgantown, WV
- intoverflowSeattle, WA
- jjtny1
- nategrafSeattle, WA
- pdg744
- rlukata
- SchmErik
- shkoo
- sunny-g@NearSpaceLabs
- tzerrellRISC Zero
- willemoldingHobart, Tasmania
- WollacBerlin, Germany
- zeroeccoBlocknative