Lean repository linked

A Vertex-Localized Positive Square-Energy Strengthening of Turán's Theorem

Abhay Jayarajan, M. Rajesh Kannan, Shivaramakrishna Pragada, Rahul Roy · 2026

arXiv:2608.24861 · arXiv

Lean formalisations (1)

mattppal/sqomega-equality at `2386c715e88a`

Linked by the repository’s formalization.yaml.

Project review: self-assessed

Audit: awaiting publication.

Report this listing