Better than Lean for what? It certainly has more ready to use packages in a bunch of domains.