Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
A developer looking for a bug in a formal proof of Yang-Mills theory within the Lean 4 mathematical proof verification system.
Hacker News submitter: DRLogvinovich
Submitted to Hacker News: