I built the RealWorld app in Lean 4
Web page · https://leangineer.com/blog/realworld-in-lean
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Hacker News: 95, latest observation ; +81 over observed period since
Comments
Comment count reported by the source.
- Hacker News: 17, latest observation ; +14 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Hacker News | 50088748 | https://leangineer.com/blog/realworld-in-lean/ |