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

3 points | by DRLogvinovich 8 hours ago