Blog
Writing about building software in Lean
- I built the RealWorld app in Lean 4
I built RealWorld, the reference full-stack app with official test suites, entirely in Lean 4. Can it be done? Yes. Is it ready for production? Somewhat. Can it be made correct by construction? Partly. It can certainly be made more robust than the average full-stack app, though.
The Leangineer Discord is a place for people who build software with Lean, or want to. You don't need a maths background. Come ask questions and share what you're working on.