Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof(github.com)
4 pointsby DRLogvinovich3 hours ago1 comment