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.
#realworld-app on Hacker News
1 story tagged realworld-app, newest first.