[console_scripts]
lean-py = lean_python.cli:main
