GitHub repository: yatima-inc/Lurk.lean
Primary language: Lean
Description: A Lean 4 implementation of the Lurk Language for recursive zkSNARKS