Lean autoformatter

ID: lean-autoformatter

New to topics? Read the docs here!