用 Lean 4 实现 RealWorld 应用（leangineer.com）

一位开发者用 Lean 4 实现了 RealWorld 应用，并将项目发布在 leangineer.com，该帖在 Hacker News 首页获得 6 分、2 条评论。原文未给出更多技术细节或收入信息。