Lean repository linked
Spanning-Tree Maximization Forces Isoperimetry in the Square Lattice
arXiv:2605.23773 · arXiv
Lean formalisations (1)
novou/spanning-tree-isoperimetry-lean at fb72842cca48
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.