[console_scripts]
lean = lean.main:main

