No results found

Lurk.lean

A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Displaying 1-8 of 8 dependencies of Lurk.lean
Sort by

  1. Megaparsec
    3a0fc85

  2. YatimaStdLib
    10f2b44

  3. Straume
    9597873

  4. LSpec
    88f7d23

  5. Poseidon
    4180a31

  6. Cli
    ef6f9bc

  7. LightData
    6dfd01c

  8. std
    fde95b1