Nine-Inch Snails
Summary
A technical blog post detailing building the RealWorld app in Lean 4, covering server, database, and frontend components, with a focus on correctness by construction, proofs, and OpenAPI-driven specifications. It discusses production readiness, performance notes, and the limitations of Lean's runtime, offering a concrete case study of using Lean and open-source libraries for a full-stack web app.