Starting Lean from Scratch