The Lean PhD