web-backend on Hacker News: 1 stories with screenshots

I built the RealWorld app in Lean 4 (leangineer.com)

84 points by saviorand 12 days ago | 12 comments

A blog post describing an implementation of the RealWorld demo application (a Medium-like reference app) written in the Lean 4 programming language.