reilabs / gnark-lean-extractorLinks

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

Alternatives and similar repositories for gnark-lean-extractor

Users that are interested in gnark-lean-extractor are comparing it to the libraries listed below

Sorting: