Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"

(zenodo.org) by DRLogvinovich | Nov 4, 2026 | 0 comments on HN