GitHub repository: reilabs/gnark-lean-demo
Primary language: Lean
Description: Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.