https://yestino.com/zh-CN/entities/realworld-c527b9与 RealWorld 相关的全部事件zh-CNhttps://yestino.com/zh-CN/events/i-built-the-realworld-app-in-lean-4-f67e44https://yestino.com/zh-CN/events/i-built-the-realworld-app-in-lean-4-f67e44Wed, 14 Oct 2026 15:03:14 GMTI built RealWorld, the reference full-stack app with official test suites, entirely in Lean 4. 来源：Hacker News