Show HN: Zero-axiom Lean 4 proof of Yang–Mills R^4 defect via Peano arithmetic

• Posted 2 hours ago by DRLogvinovich
• 3 points