Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Sort by
Require Order
Megaparsec
3a0fc85
YatimaStdLib
10f2b44
Straume
9597873
LSpec
88f7d23
Poseidon
4180a31
Cli
ef6f9bc
LightData
6dfd01c
std
fde95b1
3a0fc85
10f2b44
9597873
88f7d23
4180a31
ef6f9bc
6dfd01c
fde95b1