GitHub repository: reilabs/gnark-lean-extractor
Primary language: Go
Description: A tool to extract gnark circuits defined in Go to Lean for formal verification.