risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
LeanApache-2.0
Stargazers
- Gary-oak-Star
- MaokamiSeoul
- githubsands
- mmsaki
- alexanderlhicks
- reo101Sofia, Bulgaria
- verhovsky49.19163, -123.87233
- mratsimParis
- berryjam127.0.0.1
- yugocabrioTokyo
- henry-hz
- joewatt95
- drone29aBozeman, MT
- alexoltean61Bucharest, Romania
- yct21
- sunny-gAustin, TX
- HP2706
- curenosm
- contrun
- zhiqiangxuShanghai, China
- wuwenjie1992
- Magkoooh
- AscarshenEdinburgh, UK
- gaxiiiiiiiiiiii
- dzmitry-lahoda