proxy.golang.org : github.com/reilabs/lean-circuit-compiler
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/reilabs/lean-circuit-compiler
Keywords:
arithmetic-circuit
, formal-verification
, gnark
, go
License: Apache-2.0
Latest release: over 1 year ago
First release: over 1 year ago
Namespace: github.com/reilabs
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago
Loading...
Readme
Loading...