Lean repository linked
Extremal values for the square energies of graphs
arXiv:2409.15504 · arXiv
Lean formalisations (1)
mattppal/superadd-square-energy at b6ed4c5d6e4f
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.