How do you ask the right Lean questions? | Dark Hacker News