I built the RealWorld app in Lean 4leangineer.com
14 points by saviorand 2 days ago | 3 comments