I built the RealWorld app in Lean 4
An author announced on Hacker News that they have recreated the RealWorld full‑stack example application using the Lean 4 programming language. The project demonstrates Lean 4’s capabilities for web development by implementing typical features such as authentication, CRUD operations, and API handling. The code is publicly available, inviting developers to explore Lean 4 as a viable backend and frontend tool.