Hacker News new | ask | show | jobs
by generationP 297 days ago
And soon it will be "but I don't want to learn Lean".