Reservoir
No results found
All Packages
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Readme
Lurk.lean
A Lean 4 library for interacting with the Lurk Language