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

2 points | by DRLogvinovich 11 hours ago