Repository: https://github.com/reilabs/gnark-lean-extractor.git

Documentation: pkg.go.dev