reilabs / gnark-lean-extractor

A tool to extract gnark circuits defined in Go to Lean for formal verification.
10Updated 3 months ago

Related projects

Alternatives and complementary repositories for gnark-lean-extractor