HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
“Why not just use Lean?” | Heykuki News
“Why not just use Lean?”
lawrencecpaulson.github.io
304 points
ibobev
2 months ago
209 comments
Threaded
Loading comments...