Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

(github.com) by shariq81 | Feb 21, 2026 | 0 comments on HN