Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof

(github.com) by DRLogvinovich | Nov 8, 2026 | 0 comments on HN