xlsynth-lean
Export, evaluate, and check equivalence proofs of XLSynth gate graphs in Lean
Activity
- Latest release
- 1h ago
- Total releases
- 3
- Cadence
- ~5 days
- Last 12 months
- 3
Reach
- Downloads
- 10
Details
- License
- Apache-2.0
- First release
- Oct 19, 2026
Releases