A Lean library for machine-checked cryptographic proofs.
Lean Updated about 1 month ago 1 commits 145 stars
prism-dev|Mirror: Verified-zkEVM/VCVio (⭐145)
about 1 month agoAbout
A Lean library for machine-checked cryptographic proofs.
Readme
145 stars
50 forks