Tech article
I built the RealWorld app in Lean 4
No preview is available. Read the original article for the full story.
Hacker News | Oct 14, 2026 | saviorand
Automated excerpt
RealWorld is a well-known reference app, a Medium clone that comes with official test suites for its API and its website. A single lowercase letter or digit is a valid slug. Whether any RealWorld app in Lean can be (Question 3) is still open.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.