Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof Posted by DRLogvinovich on Sunday November 08, 2026 @12:56PM from the show-hn dept. https://github.com/Dr-Logvinovich/round-square/blob/main/README.md ( no comments | 3 points | on HN )
There are no comments yet.