I built the RealWorld app in Lean 4

1 points by LolPython