I built the RealWorld app in Lean 4(leangineer.com)
84 points by saviorand | 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.
leangineer.com on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.