argumentcomputerLurk.lean

A Lean 4 implementation of the Lurk Language for recursive zkSNARKS

Lurk.lean

A Lean 4 library for interacting with the Lurk Language