guanyangwang/ktv-swap-lean — GitHub trending stats & insights

Reach 125K+ monthly visitors

guanyangwang/ktv-swap-lean

Lean formalization of the spectral-gap proof for the binary fixed-margin swap chain.

Lean

1 contributors

MIT License

Social mentions

Recent discussions about this repository across the web

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Data is not available yet

Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available