Build with Lean