[console_scripts]
lean = lean.main:main
