If Lean Works, Prove It | Hacker News Reader