Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org namespaces: github.com/reilabs/gnark-lean-extractor

View the packages within the github.com/reilabs/gnark-lean-extractor namespace on the proxy.golang.org package registry, including their maintainers and dependencies.

github.com/reilabs/gnark-lean-extractor/v2 v2.2.0
A tool to extract gnark circuits defined in Go to Lean for formal verification.
8 versions - Latest release: about 1 year ago - 1 dependent repositories - 0 stars on GitHub
Top 8.0% on proxy.golang.org
github.com/reilabs/gnark-lean-extractor/v3
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Latest release: 3 months ago - 4 stars on GitHub