Show HN: Zero-axiom Lean 4 proof of Yang–Mills R^4 defect via Peano arithmetic Posted by DRLogvinovich on Friday November 13, 2026 @01:47AM from the show-hn dept. https://github.com/Dr-Logvinovich/round-square ( no comments | 3 points | on HN )
There are no comments yet.