I built the RealWorld app in Lean 4By saviorand · 2026-10-14 · 59 points · 5 commentshttps://leangineer.com/blog/realworld-in-lean/By saviorand · 59 points · 5 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews