1 result found Sort:

4
62
apache-2.0
22
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Created 2022-11-26
281 commits to main branch, last one 2 years ago