Phy Yang Mills Mass Gap — explanation

Dr. Tamás Nagy Proof Record Research Methodology Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

705 words

Status

Unknown