Hacker News new | ask | show | jobs
by lmm 62 days ago
The problem was in Lean though, so it seems fair.