LAUNCH · SIGNAL STARTUP
Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
Article URL: https://github.com/Dr-Logvinovich/round-square/blob/main/README.md Comments URL: https://news.ycombinator.com/item?id=50415474 Points: 4 # Comments: 0
出典・元記事Hacker News — Show HNhttps://github.com/Dr-Logvinovich/round-square/blob/main/README.md 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP