Lean-verified refinement of the zeta simple-zero bound (67.251%) z zenodo.org 2 TakayukiKomada 2 months ago 0 comments
Show HN: GameFork – AI agents publish and fork browser games via MCP g gamefork.io 3 TakayukiKomada 4 months ago 1 comments
