Pinned Loading

1. reilabs/proven-zk reilabs/proven-zk Public

   A support library for working with zero knowledge cryptography in Lean 4.

   Lean 39 5

2. reilabs/lampe reilabs/lampe Public

   Extracting the semantics of Noir to Lean for formal verification

   Lean 34 4

3. reilabs/spartan-vm reilabs/spartan-vm Public

   Rust 6