Utvikleren har bygget hele referanseappen RealWorld, med offisielle testsuiter, i Lean 4. Resultatet er delvis klart for produksjon og delvis korrekt ved konstruksjon.

Kilde: https://leangineer.com/blog/realworld-in-lean/