Ecosyste.ms: Packages

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

Top 3.6% dependent repos on proxy.golang.org

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

A tool to extract gnark circuits defined in Go to Lean for formal verification.

Registry - Source - Documentation - JSON
purl: pkg:golang/github.com/reilabs/gnark-lean-extractor
Keywords: extractor, formal-verification, gnark, go
License: Apache-2.0
Latest release: 9 months ago
First release: 10 months ago
Namespace: github.com/reilabs
Dependent repositories: 2
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago

    Loading...
    Readme
    Loading...