Technical Appendix for Referees — Yang-Mills Mass Gap

Dr. Tamás Nagy Draft Formal Verification Lean-Verified

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

Length

7,923 words

Claims

1 theorems

Status

Active

Connects To