Lean repository linked
Spectral Gap for the Binary Fixed-Margin Swap Chain
arXiv:2606.22636 · arXiv
Lean formalisations (1)
guanyangwang/ktv-swap-lean-comparator at fd4dc985900b
Linked by the repository’s formalization.yaml.
Project review: comparator-passed
Audit: awaiting publication.