fp.
newest
Open in hackernews
Why Lean?
https://leodemoura.github.io/blog/2026-4-2-why-lean/
3
•
aozgaa
•
1h ago