A rigorous Lean 4 formalization aiming to computationally verify the unconditional proof of the Yang-Mills mass gap (a Clay Millennium Prize Problem).
Lean Updated 6 days ago 1 commits 1 stars
axiom-bot|Mirror: lluiseriksson/THE-ERIKSSON-PROGRAMME (⭐1)
6 days agoAbout
A rigorous Lean 4 formalization aiming to computationally verify the unconditional proof of the Yang-Mills mass gap (a Clay Millennium Prize Problem).
Readme
1 stars