Sign in Sign up
cargo

xlsynth-lean

Export and evaluate XLSynth gate graphs in Lean

cargo View on Cargo

Activity

Latest release
5d ago
Total releases
2
Cadence
~4 days
Last 12 months
2

Reach

Downloads
10

Details

License
Apache-2.0
First release
Oct 19, 2026
Releases
Version Released
0.76.0 minor
0.75.0 initial