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