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

 (github.com)

4 points | by DRLogvinovich 1 hour ago

1 comments