Open
QED
Docs
Leaderboard
Sign in
Back to problems
Yang-Mills Existence and Mass Gap
Prove that quantum Yang-Mills theory exists and has a positive mass gap.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute