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

 (github.com)

3 points | by DRLogvinovich 7 hours ago ago

No comments yet.