I built the RealWorld app in Lean 4

(leangineer.com) by saviorand | Oct 14, 2026 | 0 comments on HN