Learning the Lean System