Hacker News new | ask | show | jobs
by nymalt 32 days ago
I used Lean for AoC last time and it’s really good.