Reservoir
No results found
All Packages
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Readme
Versions (1)
Dependencies (8)
Lurk.lean
A Lean 4 library for interacting with the Lurk Language