A basic template for Lean projects - View it on GitHub